]> granicus.if.org Git - clang/commit
Modify GRExprEngine::EvalBind() to take both a "store expression" and
authorTed Kremenek <kremenek@apple.com>
Thu, 5 Nov 2009 00:42:23 +0000 (00:42 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 5 Nov 2009 00:42:23 +0000 (00:42 +0000)
commit50ecd1536a2b70327e9eb2c2c2a652cde3dae365
tree493b939ce7b3e54edcb9a66006f7a30e4ebc40f1
parent45aa4557fe4210034e85f4a807ff637a9dd146d6
Modify GRExprEngine::EvalBind() to take both a "store expression" and
an "assign expression", representing the expressions where the value
binding occurs and the assignment takes place respectively.  These are
largely syntactic clues for better error reporting.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86084 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h
include/clang/Analysis/PathSensitive/Checkers/UndefinedAssignmentChecker.h
include/clang/Analysis/PathSensitive/GRExprEngine.h
lib/Analysis/GRExprEngine.cpp
lib/Analysis/UndefinedAssignmentChecker.cpp