[PATCH] check for Incorrect logic in operator

Anders Rönnholm Anders.Ronnholm at evidente.se
Fri Oct 25 08:18:36 PDT 2013

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


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


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. 

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

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

More information about the cfe-commits mailing list