index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
SimpleSValBuilder.cpp
Age
Commit message (
Expand
)
Author
2013-04-09
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2013-03-23
[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.
Jordan Rose
2013-03-23
Add reverseComparisonOp and negateComparisonOp to BinaryOperator.
Jordan Rose
2013-03-23
[analyzer] Use SymExprs to represent '<loc> - <loc>' and '<loc> == <loc>'.
Jordan Rose
2013-02-20
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-02-20
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-02-02
[analyzer] Fix typo.
Anna Zaks
2012-12-04
Sort all of Clang's files under 'lib', and fix up the broken headers
Chandler Carruth
2012-11-29
Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...
Ted Kremenek
2012-09-26
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-07
Remove ProgramState::getSymVal(). It was being misused by Checkers,
Ted Kremenek
2012-09-05
[analyzer] Clean up a couple uses of getPointeeType().
Jordan Rose
2012-09-04
[analyzer] Don't use makeIntVal to create a floating-point value.
Jordan Rose
2012-06-07
[analyzer] Fixit for r158136.
Anna Zaks
2012-06-07
[analyzer] Anti-aliasing: different heap allocations do not alias
Anna Zaks
2012-06-06
Revert Decl's iterators back to pointer value_type rather than reference valu...
David Blaikie
2012-05-08
[analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...
Jordy Rose
2012-05-07
[analyzer] Fix a crash in triggered by OSAtomicChecker.
Anna Zaks
2012-05-07
Remove variable made unused by r156270.
David Blaikie
2012-05-06
[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...
Jordy Rose
2012-05-03
[analyzer] When promoting constant integers in a comparison, use the larger w...
Jordy Rose
2012-05-03
[analyzer] Equality ops are like relational ops in that the arguments shouldn...
Jordy Rose
2012-05-03
[analyzer] Do not assert on constructing SymSymExpr with diff types.
Anna Zaks
2012-05-01
[analyzer] Construct a SymExpr even when the constraint solver cannot
Anna Zaks
2012-04-30
Remove the ref/value inconsistency in filter_decl_iterator.
David Blaikie
2012-03-05
Teach SimpleSValBuilder that (in the absence of more information) stack memor...
Ted Kremenek
2012-01-26
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2011-12-15
[analyzer] Address Jordy's comments for r145985.
Anna Zaks
2011-12-10
[analyzer]Fixup r146336.
Anna Zaks
2011-12-10
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
Anna Zaks
2011-12-09
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
Anna Zaks
2011-12-08
[analyzer] If memory region is tainted mark data as tainted.
Anna Zaks
2011-12-06
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-05
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
Anna Zaks
2011-11-17
[analyzer] Do not conjure a symbol when we need to propagate taint.
Anna Zaks
2011-09-23
Removing a bunch of dead returns/breaks after llvm_unreachables.
David Blaikie
2011-09-23
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-08-15
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-06-15
[analyzer] When performing a binary operation on symbolic operands, we conver...
Jordy Rose
2011-05-21
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
Douglas Gregor
2011-04-12
Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...
Ted Kremenek
2011-03-01
Improves the coding style in SValBuilder. This patch:
Zhanyong Wan
2011-02-16
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-10
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-08
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis