OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

analyzer: add regression tests [PR95152]

Browse Source 
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.

gcc/testsuite/ChangeLog:
	PR analyzer/95152
	* gcc.dg/analyzer/pr95152-4.c: New test.
	* gcc.dg/analyzer/pr95152-5.c: New test.
This commit is contained in:
David Malcolm 2020-08-20 17:50:14 -04:00
parent 5b9a3d2a05
commit 6b31b6b526
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/testsuite/gcc.dg/analyzer/pr95152-4.c Normal file
View File

@ -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);
}

6
gcc/testsuite/gcc.dg/analyzer/pr95152-5.c Normal file
View File

@ -0,0 +1,6 @@
/* { dg-additional-options "-Wno-incompatible-pointer-types" } */
void foo(void)
{
void (*a[1]) ();
void (*p) () = a + 1;
}