llvm-project/clang/lib/Analysis
Ted Kremenek 1a241d1619 Teach CFGBuilder about null pointer constants in conditionals, and how they can be used to prune branches. Fixes false null pointer dereference warning in PR 8183.
llvm-svn: 126305
2011-02-23 05:11:46 +00:00
..
AnalysisContext.cpp Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. 2011-02-23 01:51:59 +00:00
CFG.cpp Teach CFGBuilder about null pointer constants in conditionals, and how they can be used to prune branches. Fixes false null pointer dereference warning in PR 8183. 2011-02-23 05:11:46 +00:00
CFGReachabilityAnalysis.cpp Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. 2011-02-23 01:51:59 +00:00
CFGStmtMap.cpp Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch 2010-09-16 01:25:47 +00:00
CMakeLists.txt Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. 2011-02-23 01:51:59 +00:00
CocoaConventions.cpp Change QualType::getTypePtr() to return a const pointer, then change a 2011-01-19 06:33:43 +00:00
FormatString.cpp Don't warn when matching %p to nullptr. 2010-11-06 14:58:53 +00:00
FormatStringParsing.h Fix namespace polution. 2010-07-26 21:25:24 +00:00
LiveVariables.cpp Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. 2011-02-11 23:24:26 +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 whitespace. 2011-01-27 07:10:08 +00:00
PseudoConstantAnalysis.cpp Give some convenient idiomatic accessors to Stmt::child_range and 2011-02-13 04:07:26 +00:00
ReachableCode.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +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
UninitializedValues.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
UninitializedValuesV2.cpp Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow facts and properly merging them. 2011-02-01 17:43:18 +00:00