support/regression/tests/bug3564649.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

/*
   bug3564649.c
*/

#include <testfwk.h>

#ifdef __SDCC
#pragma disable_warning 85

void g(void *p)
{
}

_Noreturn void e(void)
{
  while (1) {}
}

void f(int i)
{
	void *p;

	if(i == 7)
		p = 0;
	else
		e();

	g(p); /* False "may be used before initialization" warning occoured here. */
}
#endif

void testBug(void)
{
}