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 --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7ce58af462ba82f8fae6a1471d582a93502b7eb6..d2dc6648bc4ba1c895891364b889aafe736b8c4f 100644 (file)
--- 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 3f925941f8743be35c5d5d7a6d2a53bab66a1ddd..d75b9fa1db3f4e8ad07a9b1c93e2f1167f269c8f 100644 (file)
--- 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)