]> granicus.if.org Git - clang/commit
"Fix" bogus idempotent operations warning due to loop unrolling not unrolling enough...
authorTed Kremenek <kremenek@apple.com>
Mon, 18 Oct 2010 23:36:05 +0000 (23:36 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 18 Oct 2010 23:36:05 +0000 (23:36 +0000)
commit6648e5d387b5402eae6a597bd46709ac445b4156
tree4a158d218e738322a972d1893ed5609a22404174
parent25b26ebdebe46bb4576247e0c64d1c11410a8e9d
"Fix" bogus idempotent operations warning due to loop unrolling not unrolling enough loops to show that an invariant
doesn't hold.  This fix is to increase the loop unrolling count to 4, which experiments show doesn't typically impact
analysis time.  The real fix is to modify the IdempotentOperationsChecker to suppress warnings where an analysis point
could be preceded by a point where we gave up due to loop unrolling.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116769 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Frontend/CompilerInvocation.cpp
test/Analysis/idempotent-operations-limited-loops.c [new file with mode: 0644]