Print this page
11972 resync smatch
   1 static int foo(volatile int *a, int v)
   2 {
   3         *a = v;

   4         return *a;
   5 }
   6 
   7 /*
   8  * check-name: memops-volatile
   9  * check-command: test-linearize $file
  10  *
  11  * check-output-start
  12 foo:
  13 .L0:
  14         <entry-point>
  15         store.32    %arg2 -> 0[%arg1]
  16         load.32     %r5 <- 0[%arg1]
  17         ret.32      %r5
  18 
  19 
  20  * check-output-end
  21  */
   1 static int foo(volatile int *a, int v)
   2 {
   3         *a = v;
   4         *a = 0;
   5         return *a;
   6 }
   7 
   8 /*
   9  * check-name: memops-volatile
  10  * check-command: test-linearize $file
  11  *
  12  * check-output-ignore
  13  * check-output-contains: store\\..*%arg2 -> 0\\[%arg1]
  14  * check-output-contains: store\\..*\\$0 -> 0\\[%arg1]
  15  * check-output-contains: load\\..*%r.* <- 0\\[%arg1]






  16  */