foo(int * buf)11f5207b7SJohn Levonstatic void foo(int *buf) 21f5207b7SJohn Levon { 31f5207b7SJohn Levon int a = 1; 41f5207b7SJohn Levon int *b; 51f5207b7SJohn Levon do { 61f5207b7SJohn Levon if (a) 71f5207b7SJohn Levon b = buf; 81f5207b7SJohn Levon if (a) 91f5207b7SJohn Levon *buf = 0; 101f5207b7SJohn Levon } while (!(a = !a)); 111f5207b7SJohn Levon } 121f5207b7SJohn Levon 131f5207b7SJohn Levon /* 141f5207b7SJohn Levon * check-name: infinite loop 03 151f5207b7SJohn Levon * check-command: sparse -Wno-decl $file 16*c85f09ccSJohn Levon * check-timeout: 171f5207b7SJohn Levon */ 18