[LLVMbugs] [Bug 7197] Dereference of undefined pointer value false positive

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=7197

Alexei Svitkine <alexei.svitkine at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #6 from Alexei Svitkine <alexei.svitkine at gmail.com> 2012-03-11 11:30:36 CDT ---
I'm convinced.

Even marking the variable as unsigned or const or making in an enum or a
#define makes the analysis warning go away.

So the analyzer is definitely now smart enough to reason about all of this just
as you mention in comment 5.

Closing. Thanks!

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.