Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
33f13595c90c69e8e4938200f7777df5930b8880
/
clang
/
lib
/
Checker
/
SValuator.cpp
db73d59
Relax assertion in SValuator so that we don't crash when analyzing a call via a function pointer that
by Ted Kremenek
· 15 years ago
e302792
GCC didn't care for my attempt at API compatibility, so brute-force everything
by John McCall
· 15 years ago
6117689
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
by Jordy Rose
· 15 years ago
319deb8
Cast evaluation no longer touch GRState.
by Zhongxing Xu
· 16 years ago
416b923
Explicitly check for casts to double or complex types instead of possibly asserting in SValuator.
by Ted Kremenek
· 16 years ago
d6b8708
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 16 years ago
[Renamed (97%) from clang/lib/Analysis/SValuator.cpp]
803ade2
Fix pr6035.
by Zhongxing Xu
· 16 years ago
662ba69
Revert r92318. Instead fix the analyzer: do not call
by Zhongxing Xu
· 16 years ago
25e280b
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
· 16 years ago
1b8fe5b7
First part of changes to eliminate problems with cv-qualifiers and
by Douglas Gregor
· 16 years ago
8679481
Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.
by Zhongxing Xu
· 16 years ago
8ec5771
Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
by Ted Kremenek
· 16 years ago
7020eae
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 16 years ago
11289f4
Remove tabs, and whitespace cleanups.
by Mike Stump
· 16 years ago
3a459dc
Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.
by Ted Kremenek
· 16 years ago
4301526
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 16 years ago
b7a2fe6
Update for LLVM API change.
by Owen Anderson
· 16 years ago
ac7c724
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
by Ted Kremenek
· 16 years ago