Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
9aa77f137b9b368f5bf46e2ab7bc7bd1d5755a5b
/
lib
/
Analysis
/
RValues.cpp
9aa77f1
various updates to match r54873 on mainline.
by Chris Lattner
· 16 years ago
c4a1dea
More #include cleaning
by Daniel Dunbar
· 16 years ago
75b0a1c
Fix 80 col violation
by Ted Kremenek
· 16 years ago
40fc5c7
Fix regression by explicitly checking if we are negating a SymIntConstantVal.
by Ted Kremenek
· 16 years ago
c1ff3cd
More cleanups with ObjCQualifiedIdType in the static analyzer.
by Ted Kremenek
· 16 years ago
4d0348b
Add lval::ArrayOffset, which represent the locations of entries in an array.
by Ted Kremenek
· 16 years ago
718c4f7
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
by Ted Kremenek
· 16 years ago
a548846
Added lval type (and tracking) for StringLiterals.
by Ted Kremenek
· 16 years ago
0fe33bc
Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.
by Ted Kremenek
· 16 years ago
423a3c9
simplify some code by using PointerLikeType.
by Chris Lattner
· 17 years ago
bda0b62
Make a major restructuring of the clang tree: introduce a top-level
by Chris Lattner
· 17 years ago
[Renamed from Analysis/RValues.cpp]
9b5551d
Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).
by Ted Kremenek
· 17 years ago
240f1f0
Renamed ValueManager to BasicValueFactory.
by Ted Kremenek
· 17 years ago
843e934
fix typos
by Gabor Greif
· 17 years ago
98be494
remove the source location arguments to various target query methods.
by Chris Lattner
· 17 years ago
8cc13ea
Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.)
by Ted Kremenek
· 17 years ago
4a4e524
Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.
by Ted Kremenek
· 17 years ago
d763eb9
Added lazy "symbolication" of parameter variables and global variables.
by Ted Kremenek
· 17 years ago
aa1c4e5
Major cleanup of path-sensitive analysis engine and the current analysis
by Ted Kremenek
· 17 years ago
90e4203
Implemented transfer function logic for unary '+'
by Ted Kremenek
· 17 years ago
d8e9f0d
Placed transfer function logic for dereferences in its own method, while at
by Ted Kremenek
· 17 years ago
de43424
Added boilerplate transfer function support for CallExprs.
by Ted Kremenek
· 17 years ago
d70d0b0
Further cleanup. Moved definitions for SymbolManager and ValueManager into
by Ted Kremenek
· 17 years ago
50d0ac2
Simplified transfer function logic for ++/-- operators.
by Ted Kremenek
· 17 years ago
90e1481
Added "symbol iterators" for RValues, allowing easy iteration over the symbols
by Ted Kremenek
· 17 years ago
6cb0b54
Migrated transfer functions for binary operators for simple value tracking
by Ted Kremenek
· 17 years ago
c3f261d
Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals.
by Ted Kremenek
· 17 years ago
d59cccc
Started partitioning of transfer function logic (and thus the policy behind
by Ted Kremenek
· 17 years ago
cc409b7
Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".
by Ted Kremenek
· 17 years ago
2a50257
Added transfer function/value track logic for taking the address of a label.
by Ted Kremenek
· 17 years ago
59c2d26
Implemented transfer functions for "<<" and ">>" when the RValues are
by Ted Kremenek
· 17 years ago
53c641a
More variable renamings.
by Ted Kremenek
· 17 years ago
2203118
Renamed InvalidValue to UnknownVal.
by Ted Kremenek
· 17 years ago
7e59336
Added some more opcode pretty-printing.
by Ted Kremenek
· 17 years ago
d131c4f
Added recording of "implicit" NULL dereferences of symbolic pointers.
by Ted Kremenek
· 17 years ago
fd88bb9
get the tree building again
by Chris Lattner
· 17 years ago
5b6dc2d
Added transfer function logic for ReturnStmts.
by Ted Kremenek
· 17 years ago
cf78b6a
Major code refactoring/cleanup with transfer function logic. Now the
by Ted Kremenek
· 17 years ago
feb01f6
Added assumption logic for symbolic non-lvalues when used in conditions such as
by Ted Kremenek
· 17 years ago
08b6625
Fixed signedness bug in cast transfer function when casting integers to pointers.
by Ted Kremenek
· 17 years ago
0806acf
Added pretty-printing support for lval::SymIntConstraintVal and
by Ted Kremenek
· 17 years ago
329f854
Moved subclasses of LValue and NonLValue into their own namespaces.
by Ted Kremenek
· 17 years ago
1fbdb02
Added "SymIntConstraint", a utility class to represent intermediate values for
by Ted Kremenek
· 17 years ago
c5d3b4c
Implemented transfer function for unary '~'.
by Ted Kremenek
· 17 years ago
a6e4d21
Implemented casts for ConcreteInt and ConcreteIntLValue.
by Ted Kremenek
· 17 years ago
a90ccfe
Moved RValue code in GRConstants.cpp to RValue.[h,cpp].
by Ted Kremenek
· 17 years ago