X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=contrib%2Freghunt%2Fexamples%2F30643.c;fp=contrib%2Freghunt%2Fexamples%2F30643.c;h=be607491e1b58a865d6d92cc72ec002f2798b7cf;hb=6fed43773c9b0ce596dca5686f37ac3fc0fa11c0;hp=0000000000000000000000000000000000000000;hpb=27b11d56b743098deb193d510b337ba22dc52e5c;p=msp430-gcc.git diff --git a/contrib/reghunt/examples/30643.c b/contrib/reghunt/examples/30643.c new file mode 100644 index 00000000..be607491 --- /dev/null +++ b/contrib/reghunt/examples/30643.c @@ -0,0 +1,14 @@ +extern void abort (void); +struct s { int a; int b;}; +void bar (struct s *ps, int *p, int *__restrict__ rp, int *__restrict__ rq) +{ + ps->a = 0; + ps->b = 1; + if (ps->a != 0) abort (); + p[0] = 0; + p[1] = 1; + if (p[0] != 0) abort (); + rp[0] = 0; + rq[0] = 1; + if (rp[0] != 0) abort(); +}