aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/reference.cpp
AgeCommit message (Expand)Author
2013-04-18[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.Anna Zaks
2013-04-11Force a load when creating a reference to a temporary copied from a bitfield.Jordan Rose
2013-03-07[analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks
2013-03-07[analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose
2012-09-29Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose
2012-09-28[analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-09-01[analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose
2012-08-24Fix analyzer tests.Ted Kremenek
2012-08-22Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-08-21[analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose
2012-08-21[analyzer] Assume that reference symbols are non-null.Jordan Rose
2012-08-04[analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose
2012-05-16[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.Jordy Rose
2012-01-24Switch PerformImplicitConversion over to use DefaultLvalueConversion for lval...Eli Friedman
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-07-28[analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-06-04Assignments to reference variables shouldn't kill the variable.Jordy Rose
2010-06-03CFG: add all LHS of assingments as lvalue. This improves support for C++ refe...Zhongxing Xu
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek
2010-01-10Enhance test case.Zhongxing Xu
2010-01-09When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu