]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c580f2e) | patch
Adds analyzer support for idempotent and tautological binary operations such as ...
authorJordy Rose <jediknil@belkadan.com>
Sun, 20 Jun 2010 04:56:29 +0000 (04:56 +0000)
committerJordy Rose <jediknil@belkadan.com>
Sun, 20 Jun 2010 04:56:29 +0000 (04:56 +0000)
commit43fdb7f3b46059d4af11a702af35bc8e5d0f678a
treed908b02c61715e937e303a039a42950c7cbbaf84tree | snapshot
parentc580f2e189810ae655c889536644470575bc551acommit | diff
Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106402 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/SimpleSValuator.cpp diff | blob | history
test/Analysis/constant-folding.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.