llvm-project/clang/lib/Analysis
Chandler Carruth a626d645d5 Extend the Stmt AST to make it easier to look through label, default,
and case statements. Use this to make the logic in the CFG builder more
robust at finding the actual statements within a compound statement,
even when there are many layers of labels obscuring it.

Also extend the test cases for a large chunk of PR10063. Still more work
to do here though.

llvm-svn: 139437
2011-09-10 00:02:34 +00:00
..
AnalysisContext.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
CFG.cpp Extend the Stmt AST to make it easier to look through label, default, 2011-09-10 00:02:34 +00:00
CFGReachabilityAnalysis.cpp remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 2011-07-23 10:55:15 +00:00
CFGStmtMap.cpp Constify the result of CFGStmt::getStmt(). 2011-08-23 23:05:04 +00:00
CMakeLists.txt Thread Safety: Moving the analysis to a new file 2011-09-09 16:11:56 +00:00
CocoaConventions.cpp Warn on missing [super finalize] calls. 2011-08-28 22:35:17 +00:00
FormatString.cpp remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 2011-07-23 10:55:15 +00:00
FormatStringParsing.h Fix namespace polution. 2010-07-26 21:25:24 +00:00
LiveVariables.cpp Constify the result of CFGStmt::getStmt(). 2011-08-23 23:05:04 +00:00
Makefile BUILD_ARCHIVE is the default for libraries, no need to set it. 2010-07-18 00:14:47 +00:00
PrintfFormatString.cpp Fix else style. No functionality change intended. 2011-08-17 23:08:45 +00:00
ProgramPoint.cpp [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. 2011-08-12 23:04:46 +00:00
PseudoConstantAnalysis.cpp Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 2011-08-12 23:37:29 +00:00
ReachableCode.cpp Teach -Wunreachable-code about dead code caused by macro expansions. This should suppress false positives resulting from 'assert' and friends. 2011-08-25 19:28:55 +00:00
ScanfFormatString.cpp Revert r109428 "Hoist argument type checking into CheckFormatHandler. This is prep for scanf format" 2010-07-27 04:46:02 +00:00
ThreadSafety.cpp Thread safety: removing unnecessary import and reordering import list 2011-09-09 23:00:59 +00:00
UninitializedValues.cpp -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. 2011-09-02 19:39:26 +00:00