Print this page
11972 resync smatch

*** 1,21 **** static int foo(volatile int *a, int v) { *a = v; return *a; } /* * check-name: memops-volatile * check-command: test-linearize $file * ! * check-output-start ! foo: ! .L0: ! <entry-point> ! store.32 %arg2 -> 0[%arg1] ! load.32 %r5 <- 0[%arg1] ! ret.32 %r5 ! ! ! * check-output-end */ --- 1,16 ---- static int foo(volatile int *a, int v) { *a = v; + *a = 0; return *a; } /* * check-name: memops-volatile * check-command: test-linearize $file * ! * check-output-ignore ! * check-output-contains: store\\..*%arg2 -> 0\\[%arg1] ! * check-output-contains: store\\..*\\$0 -> 0\\[%arg1] ! * check-output-contains: load\\..*%r.* <- 0\\[%arg1] */