[PATCH] D33563: Track whether a unary operation can overflow

[Eli Friedman via Phabricator via cfe-commits]

efriedma added inline comments.


================
Comment at: test/Misc/ast-dump-stmt.c:66
+  // CHECK:        ImplicitCastExpr
+  // CHECK:          DeclRefExpr{{.*}}'T2' 'int'
+}
----------------
aaron.ballman wrote:
> efriedma wrote:
> > What does it mean for bitwise complement to "overflow"?
> When the sign bit flips on a signed value, e.g., `~0`.
Bitwise complement always flips the sign bit; calling that an "overflow" doesn't seem useful.


https://reviews.llvm.org/D33563