+2017-09-05 Marek Polacek <polacek@redhat.com>
+
+ PR sanitizer/82072
+ * convert.c (convert_to_integer_1) <case NEGATE_EXPR>: Move the ubsan
+ check earlier.
+
2017-09-05 Wilco Dijkstra <wdijkstr@arm.com>
* explow.c (get_dynamic_stack_size): Improve dynamic alignment.
break;
case NEGATE_EXPR:
+ /* Using unsigned arithmetic for signed types may hide overflow
+ bugs. */
+ if (!TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (expr, 0)))
+ && sanitize_flags_p (SANITIZE_SI_OVERFLOW))
+ break;
+ /* Fall through. */
case BIT_NOT_EXPR:
/* This is not correct for ABS_EXPR,
since we must test the sign before truncation. */
TYPE_UNSIGNED (typex));
if (!TYPE_UNSIGNED (typex))
- {
- /* Using unsigned arithmetic may hide overflow bugs. */
- if (sanitize_flags_p (SANITIZE_SI_OVERFLOW))
- break;
- typex = unsigned_type_for (typex);
- }
+ typex = unsigned_type_for (typex);
return convert (type,
fold_build1 (ex_form, typex,
convert (typex,
+2017-09-05 Marek Polacek <polacek@redhat.com>
+
+ PR sanitizer/82072
+ * c-c++-common/ubsan/pr82072-2.c: New test.
+
2017-09-05 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/81942
--- /dev/null
+/* PR sanitizer/82072 */
+/* { dg-do run } */
+/* { dg-options "-fsanitize=signed-integer-overflow" } */
+
+int
+main ()
+{
+ long long int l = -__LONG_LONG_MAX__ - 1;
+ unsigned int u;
+ u = -l;
+ asm volatile ("" : "+r" (u));
+ return 0;
+}
+
+/* { dg-output "negation of -9223372036854775808 cannot be represented in type 'long long int'\[^\n\r]*; cast to an unsigned type to negate this value to itself" } */