index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
StaticAnalyzer
/
Core
/
BasicConstraintManager.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove BasicConstraintManager. It hasn't been in active service for a while.
Ted Kremenek
2012-08-22
1
-445
/
+0
*
[analyzer] Push "references are non-null" knowledge up to the common parent.
Jordan Rose
2012-08-21
1
-5
/
+0
*
[analyzer] Assume that reference symbols are non-null.
Jordan Rose
2012-08-21
1
-0
/
+4
*
[analyzer] BasicConstraintManager: drop NE-constraints once we have a value.
Jordy Rose
2012-05-08
1
-1
/
+3
*
[analyzer] Rework both constraint managers to handle mixed-type comparisons.
Jordy Rose
2012-05-08
1
-80
/
+157
*
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2012-01-26
1
-33
/
+33
*
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
Jordy Rose
2011-09-02
1
-1
/
+0
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-72
/
+102
*
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-08-12
1
-22
/
+22
*
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....
Chris Lattner
2011-07-23
1
-2
/
+2
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-3
/
+3
*
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis
2011-02-08
1
-0
/
+338