Use more antiquotations.

gebner · gebner · commit 0b2ce511224c · 2026-05-04T17:30:40.000Z
diff --git a/test/arrayptrs.c b/test/arrayptrs.c
@@ -8,7 +8,7 @@ void write_via_ptr(_array int *a)
 {
   _arrayptr int *p = a + 3;
   *p = 42;
-  _ghost_stmt(arrayptr_drop (!var_p));
+  _ghost_stmt(arrayptr_drop $(p));
 }
 
 _include_pulse(

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ void write_via_ptr(_array int *a)`
`8`	`8`	`{`
`9`	`9`	`_arrayptr int *p = a + 3;`
`10`	`10`	`*p = 42;`
`11`		`- _ghost_stmt(arrayptr_drop (!var_p));`
	`11`	`+ _ghost_stmt(arrayptr_drop $(p));`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`_include_pulse(`