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 | |
| parent | fb370a5bf4660a162c539c2357385ba44b7abf20 (diff) | |
| download | compcert-kvx-7f6ae07f5b399ee1ca736f2d64201b2313439415.tar.gz compcert-kvx-7f6ae07f5b399ee1ca736f2d64201b2313439415.zip | |
test from csmith
Diffstat (limited to 'test/gourdinl')
| -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; + } +} |