diff mbox series

[committed] analyzer: add regression tests [PR95152]

Message ID 20200821011814.21596-1-dmalcolm@redhat.com
State New
Headers show
Series [committed] analyzer: add regression tests [PR95152] | expand

Commit Message

David Malcolm Aug. 21, 2020, 1:18 a.m. UTC 
PR analyzer/95152 reports various ICEs in
region_model::get_or_create_mem_ref.

I removed this function as part of the state rewrite in
r11-2694-g808f4dfeb3a95f50f15e71148e5c1067f90a126d.
I've verified that these two test cases reproduce the issue with 10.2
and don't ICE with trunk; adding them as regression tests.

Successfully tested on x86_64-pc-linux-gnu.
Pushed to master as r11-2792-g6b31b6b52612a6d4a7a84e71f6331464d68400d4.

gcc/testsuite/ChangeLog:
	PR analyzer/95152
	* gcc.dg/analyzer/pr95152-4.c: New test.
	* gcc.dg/analyzer/pr95152-5.c: New test.
---
 gcc/testsuite/gcc.dg/analyzer/pr95152-4.c | 11 +++++++++++
 gcc/testsuite/gcc.dg/analyzer/pr95152-5.c |  6 ++++++
 2 files changed, 17 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95152-4.c
 create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95152-5.c
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.dg/analyzer/pr95152-4.c b/gcc/testsuite/gcc.dg/analyzer/pr95152-4.c
new file mode 100644
index 00000000000..f2a72cad01c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/pr95152-4.c
@@ -0,0 +1,11 @@ 
+/* { dg-additional-options "-Wno-pointer-to-int-cast" } */
+extern void my_func (int);
+typedef struct {
+  int var;
+} info_t;
+extern void *_data_offs;
+void test()
+{
+  info_t *info = ((void *)((void *)1) + ((unsigned int)&_data_offs));
+  my_func(info->var == 0);
+}
diff --git a/gcc/testsuite/gcc.dg/analyzer/pr95152-5.c b/gcc/testsuite/gcc.dg/analyzer/pr95152-5.c
new file mode 100644
index 00000000000..604b78458c7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/pr95152-5.c
@@ -0,0 +1,6 @@ 
+/* { dg-additional-options "-Wno-incompatible-pointer-types" } */
+void foo(void)
+{
+  void (*a[1]) ();
+  void (*p) () = a + 1;
+}