diff options
author | Delphine Demange <delphine.demange@irisa.fr> | 2020-11-03 11:42:42 +0100 |
---|---|---|
committer | Delphine Demange <delphine.demange@irisa.fr> | 2020-11-05 15:01:46 +0100 |
commit | 618ec760d05f4399d6a0e1bd53afb2cf4fa56645 (patch) | |
tree | a83e1ab089e38f876572a1929b9a28d076871167 | |
parent | b98274e122d95a3643a0ef119a1e17e300d45c93 (diff) | |
download | compcert-kvx-618ec760d05f4399d6a0e1bd53afb2cf4fa56645.tar.gz compcert-kvx-618ec760d05f4399d6a0e1bd53afb2cf4fa56645.zip |
Test program related to issue #1
-rw-r--r-- | test/extra/self-loop.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/extra/self-loop.c b/test/extra/self-loop.c new file mode 100644 index 00000000..d810da1f --- /dev/null +++ b/test/extra/self-loop.c @@ -0,0 +1,4 @@ +int main() { +a: + goto a; +} |