diff options
| -rw-r--r-- | validation/kill-unreachable-phi.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/validation/kill-unreachable-phi.c b/validation/kill-unreachable-phi.c new file mode 100644 index 00000000..4c7e2490 --- /dev/null +++ b/validation/kill-unreachable-phi.c @@ -0,0 +1,27 @@ +extern char *strcpy (char *__dest, const char *__src); + +static void test_menu_iteminfo( void ) +{ + int ansi = 1; + void *init, *string; + char initA[]="XYZ"; + char stringA[0x80]; + do { + if(ansi) { + string=stringA; + init = initA; + } + if(ansi) + strcpy( string, init ); + } while( !(ansi = !ansi) ); +} +/* + * check-name: kill-unreachable-phi + * check-description: + * In wine source tests/menu.c + * Improper killing a phi instruction inside not reachable BB cause + * dead loop on sparse. + * + * check-output-ignore + * + */ |