Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
98cabbad47a4d9db6b7e95c950d3302c110d1b02
/
lib
/
Checker
/
SValBuilder.cpp
98cabba
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
by Argyrios Kyrtzidis
· 14 years ago
c8413fd
Merge ValueManager into SValBuilder.
by Ted Kremenek
· 14 years ago
9c14953
Rename all 'EvalXXX' methods in libChecker to 'evalXXX'.
by Ted Kremenek
· 14 years ago
846eabd
Rename 'SValuator' to 'SValBuilder'. The new name
by Ted Kremenek
· 14 years ago
[Renamed (92%) from lib/Checker/SValuator.cpp]
dc1ad2c
Add a fixme.
by Zhongxing Xu
· 14 years ago
948163b
Relax assertion in SValuator so that we don't crash when analyzing a call via a function pointer that
by Ted Kremenek
· 14 years ago
2de56d1
GCC didn't care for my attempt at API compatibility, so brute-force everything
by John McCall
· 14 years ago
eac4a00
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
by Jordy Rose
· 14 years ago
814e6b9
Cast evaluation no longer touch GRState.
by Zhongxing Xu
· 15 years ago
f681704
Explicitly check for casts to double or complex types instead of possibly asserting in SValuator.
by Ted Kremenek
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed (97%) from lib/Analysis/SValuator.cpp]
7b81e8f
Fix pr6035.
by Zhongxing Xu
· 15 years ago
5ea95fc
Revert r92318. Instead fix the analyzer: do not call
by Zhongxing Xu
· 15 years ago
5bbc8e7
Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion.
by Ted Kremenek
· 15 years ago
a4923eb
First part of changes to eliminate problems with cv-qualifiers and
by Douglas Gregor
· 15 years ago
09270cc
Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.
by Zhongxing Xu
· 15 years ago
cd8f6ac
Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
by Ted Kremenek
· 15 years ago
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 15 years ago
ff4264d
Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.
by Ted Kremenek
· 15 years ago
f7a0cf4
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 15 years ago
4a28d5d
Update for LLVM API change.
by Owen Anderson
· 15 years ago
32c3fa4
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
by Ted Kremenek
· 15 years ago