[PATCH] check for Incorrect logic in operator

[Anders Rönnholm]

Hi,
Resending the patch I sent last week. Anyone want to have a look at it?

//Anders

-----Original Message-----
From: Anders Rönnholm 
Sent: den 18 oktober 2013 16:05
To: cfe-commits at cs.uiuc.edu
Subject: [PATCH] check for Incorrect logic in operator

Hi,

I have a new patch I like to get reviewed. It checks for incorrect logics in relational,equal and logic operators in cfgbuilder when trying to evaluate bool. A warning is emitted in Sema when an error occurs. 

eg.
if (x != 2 || x != 3) { } always true
if ((x < y) <= 10) {}  always true

Thanks,
Anders 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: incorrectoperatorlogic.diff
Type: application/octet-stream
Size: 20501 bytes
Desc: incorrectoperatorlogic.diff
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20131025/687e2bbb/attachment.obj>