[gcc(refs/users/aoliva/heads/testbase)] analyzer: fix testsuite assumption that sizeof(int) > 2
Alexandre Oliva
aoliva@gcc.gnu.org
Thu Feb 6 07:35:00 GMT 2020
https://gcc.gnu.org/g:c422cec54a5495f6f42b80f35a11c5508fe8eec3
commit c422cec54a5495f6f42b80f35a11c5508fe8eec3
Author: David Malcolm <dmalcolm@redhat.com>
Date: Mon Feb 3 15:39:50 2020 -0500
analyzer: fix testsuite assumption that sizeof(int) > 2
Fix some failures on xstormy16-elf:
gcc.dg/analyzer/data-model-1.c (test for warnings, line 595)
gcc.dg/analyzer/data-model-1.c (test for warnings, line 642)
gcc.dg/analyzer/data-model-1.c (test for warnings, line 690)
gcc.dg/analyzer/data-model-1.c (test for warnings, line 738)
due to:
warning: overflow in conversion from âÂÂlong intâ to âÂÂintâ changes
value from âÂÂ100024â to âÂÂ-31048â [-Woverflow]
20 | p[0].x = 100024;
| ^~~~~~
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/data-model-1.c (struct coord): Convert fields
from int to long.
Diff:
---
gcc/testsuite/ChangeLog | 5 +++++
gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 4 ++--
2 files changed, 7 insertions(+), 2 deletions(-)
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7ce58af..d2dc664 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2020-02-04 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.dg/analyzer/data-model-1.c (struct coord): Convert fields
+ from int to long.
+
2020-02-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/93538
diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
index 3f92594..d75b9fa 100644
--- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
+++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
@@ -171,8 +171,8 @@ int test_12c (void)
struct coord
{
- int x;
- int y;
+ long x;
+ long y;
};
int test_12d (struct coord c)
More information about the Gcc-cvs
mailing list