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
/
Checker
/
VLASizeChecker.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-12-02
1
-9
/
+11
*
Rename all 'AssumeXXX' methods in libChecker
Ted Kremenek
2010-12-01
1
-3
/
+3
*
Rename all 'EvalXXX' methods in libChecker to
Ted Kremenek
2010-12-01
1
-3
/
+3
*
Rename 'SValuator' to 'SValBuilder'. The new name
Ted Kremenek
2010-12-01
1
-1
/
+1
*
GCC didn't care for my attempt at API compatibility, so brute-force everything
John McCall
2010-08-25
1
-1
/
+1
*
Add comment noting VLASizeChecker's duty in defining a VLA's extent.
Jordy Rose
2010-07-06
1
-0
/
+6
*
Add an assertion.
Zhongxing Xu
2010-07-06
1
-0
/
+3
*
Track extents for VLAs.
Jordy Rose
2010-07-05
1
-5
/
+35
*
Checker: random include cleanup.
Benjamin Kramer
2010-03-27
1
-1
/
+1
*
Revert 95541.
Ted Kremenek
2010-02-08
1
-1
/
+1
*
Rename: GRState::getSVal(Stmt*) => getExprVal(),
Zhongxing Xu
2010-02-08
1
-1
/
+1
*
Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugRe...
Ted Kremenek
2010-01-25
1
-1
/
+1
*
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-25
1
-0
/
+96