]> granicus.if.org Git - clang/commit
Created new path-sensitive bug-reporting scheme based on the classes
authorTed Kremenek <kremenek@apple.com>
Thu, 3 Apr 2008 04:42:52 +0000 (04:42 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 3 Apr 2008 04:42:52 +0000 (04:42 +0000)
commit61f3e058056ab519d249aa67e3d52b0ead57c63e
tree1102f7b290b5f9bdf8b78ca1040ce0c5bd2adfb3
parentd065d6080f0620bb80b933f3f5d52d37bb2ea770
Created new path-sensitive bug-reporting scheme based on the classes
"BugReporter" and "BugDescription".  BugDescription is used to describe
a bug and provide pieces of the PathDiagnostic, and BugReporter creates
the actual PathDiagnostic by crawling through the ExplodedGraph.

Migrated checks done by GRSimpleVals to be reported using the new BugReporter
mechanism.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49127 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/BugReporter.h [new file with mode: 0644]
lib/Analysis/BugReporter.cpp [new file with mode: 0644]
lib/Analysis/GRSimpleVals.cpp