diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:39:46 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:39:46 +0100 |
commit | f1670b99c8ed93532f95746bd446168c75a90f6d (patch) | |
tree | 790cac07c38e48865d9124fee5a692b6fd7ed509 /test/monniaux | |
parent | 17fb588d1a5b446db3731f4485d8bb075bc2fac2 (diff) | |
download | compcert-kvx-f1670b99c8ed93532f95746bd446168c75a90f6d.tar.gz compcert-kvx-f1670b99c8ed93532f95746bd446168c75a90f6d.zip |
spill queue complaints
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/regalloc/spill_queue_issues.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/monniaux/regalloc/spill_queue_issues.c b/test/monniaux/regalloc/spill_queue_issues.c new file mode 100644 index 00000000..8e2019a8 --- /dev/null +++ b/test/monniaux/regalloc/spill_queue_issues.c @@ -0,0 +1,5 @@ +int g(double); + ; +void meow (int x) { + g(100.0 * x); +} |