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]
*/