char *foo(char **pfmt)
{
        return ++*pfmt;
}

/*
 * check-name: deref-ptr-ptr
 * check-command: test-linearize -m64 -Wno-decl $file
 * check-assert: sizeof(void *) == 8
 *
 * check-output-excludes: load[^.]
 * check-output-contains: load\\.
 * check-output-excludes: store[^.]
 * check-output-contains: store\\.
 *
 * check-output-start
foo:
.L0:
        <entry-point>
        load.64     %r2 <- 0[%arg1]
        add.64      %r3 <- %r2, $1
        store.64    %r3 -> 0[%arg1]
        ret.64      %r3


 * check-output-end
 */