aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
AgeCommit message (Expand)Author
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Disallow creation of int vals with explicit bit width / signedness.Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-05-08[analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...Jordy Rose
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor
2011-03-08static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek
2011-02-18[analyzer] Fix a crash when analyzing C++ code.Argyrios Kyrtzidis
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek