ebevhan added inline comments.

================
Comment at: lib/AST/ExprConstant.cpp:9437
+      }
+      return Success(-Value, E);
+    }
----------------
This looks very suspect to me as well... This might not respect padding on 
types whose sign bit is not the MSB, such as _Fract. The same goes for the 
overflow check above.

I think it's quite important that we define the semantics of what padding bits 
should contain. Probably zeroes for unsigned types and a sexted sign bit for 
signed types.


Repository:
  rC Clang

https://reviews.llvm.org/D46915



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to