Fix edge case where we don't cull warnings in IdempotentOperationsChecker due to...
authorTed Kremenek <kremenek@apple.com>
Mon, 14 Feb 2011 17:59:23 +0000 (17:59 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 14 Feb 2011 17:59:23 +0000 (17:59 +0000)
commite8350c6996170e324b31cd188d002fe5f40f54f7
tree90820d5eaa74afdfb86deea94f2661ba6886df5f
parent8e3767711f79578ff2aac8a0d28de1e08a3923f4
Fix edge case where we don't cull warnings in IdempotentOperationsChecker due to incomplete analysis of loops.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125495 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp
test/Analysis/idempotent-operations-limited-loops.c