diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:00:42 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:00:42 +0100 |
| commit | 17fb588d1a5b446db3731f4485d8bb075bc2fac2 (patch) | |
| tree | bb0f7f040d0dad052af30c90e7dad00b76b958c5 /test/monniaux/regalloc | |
| parent | 32fff32cd1a68567fb5079f2962758836eeefef6 (diff) | |
| download | compcert-kvx-17fb588d1a5b446db3731f4485d8bb075bc2fac2.tar.gz compcert-kvx-17fb588d1a5b446db3731f4485d8bb075bc2fac2.zip | |
code that bombs, to be used in regression testing
Diffstat (limited to 'test/monniaux/regalloc')
| -rw-r--r-- | test/monniaux/regalloc/invalid_register_allocation.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/monniaux/regalloc/invalid_register_allocation.c b/test/monniaux/regalloc/invalid_register_allocation.c new file mode 100644 index 00000000..93da30eb --- /dev/null +++ b/test/monniaux/regalloc/invalid_register_allocation.c @@ -0,0 +1,12 @@ +/* simplified version of c-strtod.i */ + +extern double getdouble(void); +extern void intptr(void); + +double bidule (void) +{ + double r; + r = getdouble(); + intptr(); + return r; +} |