diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-08 16:48:41 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-08 16:48:41 +0100 |
| commit | fdcc810259e2580a3bf94f715472fdc17782f27a (patch) | |
| tree | e112fa6f44c1424f3a14801e081d333e1efaf18c /test/monniaux/jpeg-6b/jconfig.h | |
| parent | d574e7d3f1086d3277d7b252846ac62b3ea256f7 (diff) | |
| download | compcert-kvx-fdcc810259e2580a3bf94f715472fdc17782f27a.tar.gz compcert-kvx-fdcc810259e2580a3bf94f715472fdc17782f27a.zip | |
removed 'KILL_TAIL_CALL()', no longer needed
Diffstat (limited to 'test/monniaux/jpeg-6b/jconfig.h')
| -rw-r--r-- | test/monniaux/jpeg-6b/jconfig.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/monniaux/jpeg-6b/jconfig.h b/test/monniaux/jpeg-6b/jconfig.h index 1c6bd8af..90bf22dd 100644 --- a/test/monniaux/jpeg-6b/jconfig.h +++ b/test/monniaux/jpeg-6b/jconfig.h @@ -40,16 +40,12 @@ extern long long __compcert_i64_smod(long long a, long long b); #define INT_DIV(a, b) __compcert_i64_sdiv(a, b) #define LONG_DIV(a, b) __compcert_i64_sdiv(a, b) -#define KILL_TAIL_CALL() { int x=1; } - #else #define INT_UMOD(a, b) ((a) % (b)) #define INT_MOD(a, b) ((a) % (b)) #define INT_UDIV(a, b) ((a) / (b)) #define INT_DIV(a, b) ((a) / (b)) #define LONG_DIV(a, b) ((a) / (b)) - -#define KILL_TAIL_CALL() { } #endif /* Does your compiler support the declaration "unsigned char" ? |