[erlang-questions] 12B4 dialyzer problem 4
Thu Sep 11 17:38:37 CEST 2008
On Thu, 11 Sep 2008 10:20:49 pm Kostis Sagonas wrote:
> If one looks closely in this function, she can observe that the 'timer'
> field is never initialized so it defaults to 'undefined'. This happens
> on all paths to the disableConnecting(S1) call.
> Dialyzer has every right to claim that State#state.timer will always be
> 'undefined' and the second clause (with TRef) will never be reached.
> One more subtle bug uncovered.
Excellent. I've been staring at that for months since the 11B dialyzer
complained as well. A one-line change some time ago made a whole function
Anthony Shipman Mamas don't let your babies
grow up to be outsourced.
More information about the erlang-questions