validation/linear/deref-ptr-ptr.c

   1 char *foo(char **pfmt)
   2 {
   3         return ++*pfmt;
   4 }
   5
   6 /*
   7  * check-name: deref-ptr-ptr
   8  * check-command: test-linearize -m64 -Wno-decl $file
   9  * check-assert: sizeof(void *) == 8
  10  *
  11  * check-output-excludes: load[^.]
  12  * check-output-contains: load\\.
  13  * check-output-excludes: store[^.]
  14  * check-output-contains: store\\.
  15  *
  16  * check-output-start
  17 foo:
  18 .L0:
  19         <entry-point>
  20         load.64     %r2 <- 0[%arg1]
  21         add.64      %r3 <- %r2, $1
  22         store.64    %r3 -> 0[%arg1]
  23         ret.64      %r3
  24
  25
  26  * check-output-end
  27  */