dialyzer: false function has no local return warning in R14B?

[Klas Johansson]

Hi,

I get a warning from dialyzer when using ets:select (test case
attached), but it seems like a false warning.  The fact that the key
(#r.k) is a tuple rather than an atom seems important - there's no
warning if it's an atom.

This is on R14B (as well as earlier versions).

Any ideas?

Thanks,
Klas
-------------- next part --------------
A non-text attachment was scrubbed...
Name: x.erl
Type: application/octet-stream
Size: 330 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20101104/cc967442/attachment.obj>