diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 08:58:01 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 08:58:01 +0100 |
commit | c4f88ed5581ffb71e7ed5824c7503e8ce08165df (patch) | |
tree | 74794f389a24da51281d12456d3018c62929693f /test/cse2 | |
parent | a398b5750ceeeab90a44b2e1d34fe6d5ff8b1f08 (diff) | |
download | compcert-kvx-c4f88ed5581ffb71e7ed5824c7503e8ce08165df.tar.gz compcert-kvx-c4f88ed5581ffb71e7ed5824c7503e8ce08165df.zip |
globals alias analysis for x86
Diffstat (limited to 'test/cse2')
-rw-r--r-- | test/cse2/globals.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/cse2/globals.c b/test/cse2/globals.c new file mode 100644 index 00000000..c6dd59cd --- /dev/null +++ b/test/cse2/globals.c @@ -0,0 +1,8 @@ +int glob1, glob2; + +void toto() { + if (glob1 > 4) { + glob2 ++; + glob1 --; + } +} |