[PATCH] D31982: [analyzer] Improve suppression for inlined defensive checks when operator& is involved.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 12 10:05:30 PDT 2017


NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:965
+
+    // Performing operator `&' on an lvalue expression is essentially a no-op.
+    // Then, if we are taking addresses of fields or elements, these are also
----------------
alexshap wrote:
> "Address-of" operator can be overloaded, 
> just wondering - doest this code work correctly in that case ?
In this case we'd see a `CXXOperatorCallExpr` instead of `UnaryOperator` (all hail clang AST!).


https://reviews.llvm.org/D31982





More information about the cfe-commits mailing list