[PATCH] D48204: [analyzer] Make getDerefExpr() skip cleanups.

2018-06-25 Thread Phabricator via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC335559: [analyzer] Track null and undef values through expressions with cleanups. (authored by dergachev, committed by ). Changed prior to commit: https://reviews.llvm.org/D48204?vs=151450&id=152810#toc

[PATCH] D48204: [analyzer] Make getDerefExpr() skip cleanups.

2018-06-15 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ added inline comments. Comment at: test/Analysis/inlining/inline-defensive-checks.cpp:93 +S *conjure(); +S *get_conjured(S _) { + S *s = conjure(); george.karpenkov wrote: > what is the argument doing? Causing cleanups (: Repository: rC Clang https://re

[PATCH] D48204: [analyzer] Make getDerefExpr() skip cleanups.

2018-06-15 Thread George Karpenkov via Phabricator via cfe-commits
george.karpenkov added inline comments. Comment at: test/Analysis/inlining/inline-defensive-checks.cpp:93 +S *conjure(); +S *get_conjured(S _) { + S *s = conjure(); what is the argument doing? Repository: rC Clang https://reviews.llvm.org/D48204

[PATCH] D48204: [analyzer] Make getDerefExpr() skip cleanups.

2018-06-14 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ added a comment. This is supposed to suppress a few Inlined-Defensive-Checks-related false positives that accidentally spiked up during my testing of copy elision. Repository: rC Clang https://reviews.llvm.org/D48204 ___ cfe-commits mailing

[PATCH] D48204: [analyzer] Make getDerefExpr() skip cleanups.

2018-06-14 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet, rnkovacs. Herald added subscribers: cfe-commits, mikhail.ramalho, baloghadamsoftware, eraman. `ExprWithCleanups` that cleans up function arguments (or any other stuff) at the end of the fu