]> granicus.if.org Git - clang/commit
Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know...
authorTed Kremenek <kremenek@apple.com>
Sat, 2 Apr 2011 02:56:23 +0000 (02:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 2 Apr 2011 02:56:23 +0000 (02:56 +0000)
commit422ab7a49a9a4252dbc6350e49d7a5708337b9c7
treed68608d0ac7eb8db69ded9650787ed7467cd5d59
parent66750fa464ace9f8c41666c8585ec71a248c1cca
Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128761 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp
lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/idempotent-operations.cpp