[LLVMbugs] [Bug 11020] Report constant expressions used in if stmts and loop conditions

[bugzilla-daemon at llvm.org]

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

Ted Kremenek <kremenek at apple.com> changed:

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

--- Comment #6 from Ted Kremenek <kremenek at apple.com> 2011-09-28 23:16:50 CDT ---
(In reply to comment #5)
> I should have been explicit. I was specifically trying to catch bugs that were
> once caught by Coverity. Ex:
> 
>  if (getuid() == 0 || geteuid != 0) 
> 
> This was an actual bug in the X-Windows system and the find was made public.
> Here are related articles:
> 
> The bug fix-
> http://xorg.freedesktop.org/releases/X11R7.0/patches/xorg-server-1.0.1-geteuid.diff
> 
> http://coverity.com/html/press_story23_05_02_06.html

Okay, this makes sense.  I think to make this actionable we need an proposal of
what the checker would actually need to do, and what it would catch.

-- 
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.