maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/StaticAnalyzer/Core
History
Chris Lattner c8e630e4db Step #1/N of implementing support for __label__: split labels into 
LabelDecl and LabelStmt.  There is a 1-1 correspondence between the
two, but this simplifies a bunch of code by itself.  This is because
labels are the only place where we previously had references to random
other statements, causing grief for AST serialization and other stuff.

This does cause one regression (attr(unused) doesn't silence unused
label warnings) which I'll address next.

This does fix some minor bugs:
1. "The only valid attribute " diagnostic was capitalized.
2. Various diagnostics printed as ''labelname'' instead of 'labelname'
3. This reduces duplication of label checking between functions and blocks.

Review appreciated, particularly for the cindex and template bits.

llvm-svn: 125733
 		2011-02-17 07:39:24 +00:00
..
AggExprVisitor.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
AnalysisManager.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BasicConstraintManager.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BasicStore.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
BasicValueFactory.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
BlockCounter.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BugReporter.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
BugReporterVisitors.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
CFRefCount.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
CMakeLists.txt [analyzer] Overhauling of the checker registration mechanism. 2011-02-14 18:13:31 +00:00
CXXExprEngine.cpp Rename 'InvalidateRegions()' to 'invalidateRegions()'. 2011-02-11 19:48:15 +00:00
Checker.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
CheckerHelpers.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
CheckerManager.cpp [analyzer] Overhauling of the checker registration mechanism. 2011-02-14 18:13:31 +00:00
CoreEngine.cpp [analyzer] Overhauling of the checker registration mechanism. 2011-02-14 18:13:31 +00:00
Environment.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
ExplodedGraph.cpp static analyzer: Make GRStates reference counted, with reference counts managed by ExplodedNodes. 2011-02-10 02:21:52 +00:00
FlatStore.cpp Rename 'InvalidateRegions()' to 'invalidateRegions()'. 2011-02-11 19:48:15 +00:00
GRState.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
HTMLDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
Makefile [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. 2011-02-08 22:30:36 +00:00
MemRegion.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
ObjCMessage.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
PathDiagnostic.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
PlistDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
RangeConstraintManager.cpp [analyzer] Remove ManagerRegistry which is not used. In the future we may load analyzer plugins dynamically but 2011-02-14 18:13:17 +00:00
RegionStore.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
SValBuilder.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
SVals.cpp Step #1/N of implementing support for __label__: split labels into 2011-02-17 07:39:24 +00:00
SimpleConstraintManager.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
SimpleConstraintManager.h Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
SimpleSValBuilder.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
Store.cpp Rename 'InvalidateRegions()' to 'invalidateRegions()'. 2011-02-11 19:48:15 +00:00
SymbolManager.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
TextPathDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00