granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Ted Kremenek <kremenek@apple.com>
	Fri, 12 Aug 2011 23:04:46 +0000 (23:04 +0000)
committer	Ted Kremenek <kremenek@apple.com>
	Fri, 12 Aug 2011 23:04:46 +0000 (23:04 +0000)
commit	ca804539d908d3a0e8c72a0df5f1f571d29490bb
tree	1c94c42841ae275c45b74b27fb8831fab62b4e7f	tree \| snapshot
parent	79c9c75737cb22fd74d186999eccc10672eef8c0	commit \| diff

[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.

Having a notion of an actual ProgramPointTag will aid in introspection of the analyzer's behavior.
For example, the GraphViz output of the analyzer will pretty-print the tags in a useful manner.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137529 91177308-0d34-0410-b5e6-96231b3b80d8

16 files changed:

include/clang/Analysis/ProgramPoint.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/Checker.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/CheckerManager.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h		diff \| blob \| history
lib/Analysis/CMakeLists.txt		diff \| blob \| history
lib/Analysis/ProgramPoint.cpp	[new file with mode: 0644]	blob
lib/StaticAnalyzer/Checkers/OSAtomicChecker.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/CFRefCount.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/CMakeLists.txt		diff \| blob \| history
lib/StaticAnalyzer/Core/Checker.cpp	[new file with mode: 0644]	blob
lib/StaticAnalyzer/Core/CheckerContext.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/CheckerManager.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/CoreEngine.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/ExprEngine.cpp		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom