xref: /third_party/ltp/tools/sparse/sparse-src/validation/kill-unreachable-phi.c (revision f08c3bdf)
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_ciextern char *strcpy (char *__dest, const char *__src);
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_cistatic void test_menu_iteminfo( void )
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci		int ansi = 1;
6f08c3bdfSopenharmony_ci		void *init, *string;
7f08c3bdfSopenharmony_ci		char initA[]="XYZ";
8f08c3bdfSopenharmony_ci		char stringA[0x80];
9f08c3bdfSopenharmony_ci		do {
10f08c3bdfSopenharmony_ci			if(ansi) {
11f08c3bdfSopenharmony_ci				string=stringA;
12f08c3bdfSopenharmony_ci				init = initA;
13f08c3bdfSopenharmony_ci			}
14f08c3bdfSopenharmony_ci			if(ansi)
15f08c3bdfSopenharmony_ci				strcpy( string, init );
16f08c3bdfSopenharmony_ci		} while( !(ansi = !ansi) );
17f08c3bdfSopenharmony_ci}
18f08c3bdfSopenharmony_ci/*
19f08c3bdfSopenharmony_ci * check-name: kill-unreachable-phi
20f08c3bdfSopenharmony_ci * check-description:
21f08c3bdfSopenharmony_ci * 	In wine source tests/menu.c
22f08c3bdfSopenharmony_ci * 	Improper killing a phi instruction inside not reachable BB cause
23f08c3bdfSopenharmony_ci * 	dead loop on sparse.
24f08c3bdfSopenharmony_ci *
25f08c3bdfSopenharmony_ci * check-output-ignore
26f08c3bdfSopenharmony_ci *
27f08c3bdfSopenharmony_ci */
28

Indexes created Thu Nov 07 10:32:03 CST 2024