Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
4a73ea9c4e87aa111901f3c27b08f0571b58a4cf
/
test
/
Analysis
/
misc-ps-region-store.cpp
de0d263
Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it.
by Ted Kremenek
· 15 years ago
dd8b441
Add analyzer test case for 'ForStmt' with condition variable.
by Ted Kremenek
· 15 years ago
4ec010a
CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked.
by Ted Kremenek
· 15 years ago
4c508a1
Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt.
by Ted Kremenek
· 15 years ago
fcfb503
Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt.
by Ted Kremenek
· 15 years ago
61dfbec
Add CFG support for the condition variable that can appear in IfStmts in C++ mode.
by Ted Kremenek
· 15 years ago
077a40d
Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue.
by Ted Kremenek
· 15 years ago
949bdb4
Add basic support for analyzing CastExprs as lvalues.
by Ted Kremenek
· 15 years ago
910e408
Use the FunctionDecl's result type to know exactly if it returns a reference.
by Zhongxing Xu
· 15 years ago
5328751
Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer.
by Ted Kremenek
· 15 years ago
d87682e
Add failing test case for C++ static analysis.
by Ted Kremenek
· 15 years ago