aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis/reference.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+15
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-15/+1
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+15
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-15/+1
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+15
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen1-15/+1
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-1/+15
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-15/+1
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen1-1/+15
2016-12-01[analyzer] Drop explicit mention of range constraint solverDominic Chen1-1/+1
2014-06-06Add -Wtautological-undefined-compare and -Wundefined-bool-conversion warningsRichard Trieu1-1/+1
2013-05-28[analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks1-0/+7
2013-04-18[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.Anna Zaks1-1/+1
2013-04-11Force a load when creating a reference to a temporary copied from a bitfield.Jordan Rose1-0/+10
2013-03-07[analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks1-4/+66
2013-03-07[analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose1-5/+14
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose1-3/+1
2012-09-29Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose1-1/+3
2012-09-28[analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose1-3/+1
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose1-9/+7
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose1-5/+9
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose1-9/+5
2012-09-01[analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose1-0/+12
2012-08-24Fix analyzer tests.Ted Kremenek1-1/+1
2012-08-22Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek1-3/+0
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek1-1/+0
2012-08-21[analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose1-0/+3
2012-08-21[analyzer] Assume that reference symbols are non-null.Jordan Rose1-0/+17
2012-08-04[analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose1-1/+14
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose1-0/+26
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose1-1/+36
2012-05-16[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.Jordy Rose1-2/+1
2012-01-24Switch PerformImplicitConversion over to use DefaultLvalueConversion for lval...Eli Friedman1-1/+1
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek1-1/+1
2011-07-28[analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek1-0/+1
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis1-1/+1
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis1-1/+1
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu1-1/+1
2010-12-16Start migration of static analyzer to using theTed Kremenek1-1/+2
2010-06-04Assignments to reference variables shouldn't kill the variable.Jordy Rose1-0/+30
2010-06-03CFG: add all LHS of assingments as lvalue. This improves support for C++ refe...Zhongxing Xu1-0/+15
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek1-1/+1
2010-01-10Enhance test case.Zhongxing Xu1-0/+5
2010-01-09When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu1-0/+6