index
:
delta/clang.git
baserock/flang
google/stable
google/testing
master
release_26
release_27
release_28
release_29
release_30
release_31
release_32
release_33
release_34
release_35
release_35@215011
release_36
release_37
release_38
release_39
release_40
release_50
release_60
release_70
release_80
release_90
svn-tags/RELEASE_26
svn-tags/RELEASE_27
svn-tags/RELEASE_28
svn-tags/RELEASE_29
svn-tags/RELEASE_30
svn-tags/RELEASE_31
llvm.org: Obsolete (use llvm)
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
SimpleConstraintManager.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Update the file headers across all of the LLVM projects in the monorepo
Chandler Carruth
2019-01-19
1
-4
/
+3
*
[analyzer] Refactor and simplify SimpleConstraintManager
Dominic Chen
2017-02-25
1
-222
/
+8
*
Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...
Anton Yartsev
2016-12-25
1
-1
/
+13
*
Revert changes made by r290413 until regression is fixed.
Anton Yartsev
2016-12-23
1
-15
/
+1
*
Fix for PR15623. The patch eliminates unwanted ProgramState checker data prop...
Anton Yartsev
2016-12-23
1
-1
/
+15
*
[analyzer] Add a new SVal to support pointer-to-member operations.
Devin Coughlin
2016-12-15
1
-0
/
+6
*
[analyzer] Run clang-format and fix style
Dominic Chen
2016-12-13
1
-67
/
+62
*
[analyzer] Rename assumeWithinInclusiveRange*()
Dominic Chen
2016-11-15
1
-2
/
+2
*
Roll-back r250822.
Angel Garcia Gomez
2015-10-20
1
-1
/
+1
*
Apply modernize-use-default to clang.
Angel Garcia Gomez
2015-10-20
1
-1
/
+1
*
[analyzer] Create one state for a range switch case instead of multiple.
Devin Coughlin
2015-09-22
1
-0
/
+67
*
[C++11] Use 'nullptr'. StaticAnalyzer edition.
Craig Topper
2014-05-27
1
-1
/
+1
*
[analyzer] Add support for testing the presence of weak functions.
Jordan Rose
2013-08-28
1
-45
/
+14
*
[analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic
Anna Zaks
2013-04-20
1
-13
/
+8
*
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2013-04-09
1
-1
/
+1
*
[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.
Jordan Rose
2013-03-24
1
-2
/
+7
*
[analyzer] Teach constraint managers about unsigned comparisons.
Jordan Rose
2013-03-23
1
-2
/
+6
*
[analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.
Jordan Rose
2013-03-23
1
-15
/
+17
*
Add reverseComparisonOp and negateComparisonOp to BinaryOperator.
Jordan Rose
2013-03-23
1
-16
/
+1
*
[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.
Jordan Rose
2013-03-23
1
-16
/
+36
*
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-02-20
1
-2
/
+2
*
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-02-20
1
-10
/
+9
*
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
Jordan Rose
2012-10-01
1
-4
/
+4
*
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-26
1
-6
/
+4
*
[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)
Anna Zaks
2012-09-24
1
-1
/
+3
*
Remove ProgramState::getSymVal(). It was being misused by Checkers,
Ted Kremenek
2012-09-07
1
-1
/
+3
*
Despite me asking Jordan to do r162313, revert it. We can provide
Ted Kremenek
2012-08-22
1
-29
/
+19
*
[analyzer] Push "references are non-null" knowledge up to the common parent.
Jordan Rose
2012-08-21
1
-19
/
+29
*
[analyzer] Exit early if constraint solver is given a non-integer symbol
Anna Zaks
2012-05-10
1
-0
/
+5
*
[analyzer] Rework both constraint managers to handle mixed-type comparisons.
Jordy Rose
2012-05-08
1
-62
/
+36
*
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2012-01-26
1
-8
/
+8
*
More dead code removal (using -Wunreachable-code)
David Blaikie
2012-01-20
1
-4
/
+0
*
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
1
-28
/
+25
*
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
Anna Zaks
2011-12-05
1
-42
/
+43
*
[analyzer] First step toward removing
Anna Zaks
2011-12-05
1
-15
/
+25
*
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-09-23
1
-2
/
+2
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-8
/
+8
*
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
Douglas Gregor
2011-05-21
1
-1
/
+2
*
[analyzer] Remove Checker V1.
Argyrios Kyrtzidis
2011-03-01
1
-1
/
+0
*
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-16
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
/
+303