diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 15:45:39 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 15:45:39 +0100 |
| commit | 35244064bbb2a853fb5c08898e8a74a7ec489aaa (patch) | |
| tree | e9b7ccb8b46174301ccf106807ea2fcd640350e5 /test/monniaux/jpeg-6b/jdmarker.c | |
| parent | 8ae9063a94fbf3756bb2b1d596f35b81e3e608eb (diff) | |
| download | compcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.tar.gz compcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.zip | |
block tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/jdmarker.c')
| -rw-r--r-- | test/monniaux/jpeg-6b/jdmarker.c | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/test/monniaux/jpeg-6b/jdmarker.c b/test/monniaux/jpeg-6b/jdmarker.c index ee999f25..71feff86 100644 --- a/test/monniaux/jpeg-6b/jdmarker.c +++ b/test/monniaux/jpeg-6b/jdmarker.c @@ -653,9 +653,7 @@ examine_app0 (j_decompress_ptr cinfo, JOCTET FAR * data, /* Start of APP0 does not match "JFIF" or "JFXX", or too short */ TRACEMS1(cinfo, 1, JTRC_APP0, (int) totallen); } -#ifdef TAIL_CALL_MISSING - int dummy=1; -#endif + KILL_TAIL_CALL(); } @@ -687,9 +685,7 @@ examine_app14 (j_decompress_ptr cinfo, JOCTET FAR * data, /* Start of APP14 does not match "Adobe", or too short */ TRACEMS1(cinfo, 1, JTRC_APP14, (int) (datalen + remaining)); } -#ifdef TAIL_CALL_MISSING - int dummy=1; -#endif + KILL_TAIL_CALL(); } @@ -1342,9 +1338,7 @@ jpeg_save_markers (j_decompress_ptr cinfo, int marker_code, marker->length_limit_APPn[marker_code - (int) M_APP0] = length_limit; } else ERREXIT1(cinfo, JERR_UNKNOWN_MARKER, marker_code); -#ifdef TAIL_CALL_MISSING - int dummy=1; -#endif + KILL_TAIL_CALL(); } #endif /* SAVE_MARKERS_SUPPORTED */ @@ -1366,7 +1360,5 @@ jpeg_set_marker_processor (j_decompress_ptr cinfo, int marker_code, marker->process_APPn[marker_code - (int) M_APP0] = routine; else ERREXIT1(cinfo, JERR_UNKNOWN_MARKER, marker_code); -#ifdef TAIL_CALL_MISSING - int dummy=1; -#endif + KILL_TAIL_CALL(); } |