diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:12:19 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:12:19 +0200 |
commit | 7f6ae07f5b399ee1ca736f2d64201b2313439415 (patch) | |
tree | f88daece876266dbd767525a064a2f18a1d5ebf0 /test/gourdinl/postpass_alternate_str.c | |
parent | fb370a5bf4660a162c539c2357385ba44b7abf20 (diff) | |
download | compcert-kvx-7f6ae07f5b399ee1ca736f2d64201b2313439415.tar.gz compcert-kvx-7f6ae07f5b399ee1ca736f2d64201b2313439415.zip |
test from csmith
Diffstat (limited to 'test/gourdinl/postpass_alternate_str.c')
-rw-r--r-- | test/gourdinl/postpass_alternate_str.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/gourdinl/postpass_alternate_str.c b/test/gourdinl/postpass_alternate_str.c new file mode 100644 index 00000000..99c50d7d --- /dev/null +++ b/test/gourdinl/postpass_alternate_str.c @@ -0,0 +1,11 @@ +long a; +short *b; +void c() { + long d = &a; + char e = 0; + long f[4] = {&e}; + if (*b) + if (c) { + long g = &d; + } +} |