[PATCH] D46081: [analyzer] Expand conversion check to check more expressions for overflow and underflow

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp:102
     }
-  } else if (isa<DeclStmt>(Parent)) {
+  } else if (isa<DeclStmt>(Parent) || isa<ReturnStmt>(Parent)) {
+    if (!Cast->IgnoreParenImpCasts()->isEvaluatable(C.getASTContext())) {
----------------



CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D46081/new/

https://reviews.llvm.org/D46081