1 /* { dg-require-effective-target untyped_assembly } */
2 int g1, g2;
3 
4 void
write_at(addr,off,val)5 write_at (addr, off, val)
6      int *addr;
7      int off;
8      int val;
9 {
10   g2 = 1;
11   addr[off] = val;
12   g2++;
13 }
14 
main()15 main ()
16 {
17   g2 = 12;
18   write_at (&g1, &g2 - &g1, 12345);
19   printf ("%d\n", g2);
20 }
21