diff options
| -rw-r--r-- | test_cases/diff_tests/types/char.0.c | 14 | ||||
| -rw-r--r-- | test_cases/diff_tests/types/char.1.c | 14 |
2 files changed, 16 insertions, 12 deletions
diff --git a/test_cases/diff_tests/types/char.0.c b/test_cases/diff_tests/types/char.0.c index ff5cef5..d24d0ab 100644 --- a/test_cases/diff_tests/types/char.0.c +++ b/test_cases/diff_tests/types/char.0.c @@ -1,6 +1,8 @@ -void u(char c) { (void) c; } -void v(unsigned char c) { (void) c; } -void w(signed char c) { (void) c; } -void x(char c) { (void) c; } -void y(unsigned char c) { (void) c; } -void z(signed char c) { (void) c; } +// tweaked due to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112372 +void tweak(int); +void u(char c) { (void)c; tweak(0); } +void v(unsigned char c) { (void)c; tweak(1); } +void w(signed char c) { (void)c; tweak(2); } +void x(char c) { (void)c; tweak(3); } +void y(unsigned char c) { (void)c; tweak(4); } +void z(signed char c) { (void)c; tweak(5); } diff --git a/test_cases/diff_tests/types/char.1.c b/test_cases/diff_tests/types/char.1.c index a9291d0..8ab40a0 100644 --- a/test_cases/diff_tests/types/char.1.c +++ b/test_cases/diff_tests/types/char.1.c @@ -1,6 +1,8 @@ -void u(unsigned char c) { (void) c; } -void v(signed char c) { (void) c; } -void w(char c) { (void) c; } -void x(signed char c) { (void) c; } -void y(char c) { (void) c; } -void z(unsigned char c) { (void) c; } +// tweaked due to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112372 +void tweak(int); +void u(unsigned char c) { (void)c; tweak(0); } +void v(signed char c) { (void)c; tweak(1); } +void w(char c) { (void)c; tweak(2); } +void x(signed char c) { (void)c; tweak(3); } +void y(char c) { (void)c; tweak(4); } +void z(unsigned char c) { (void)c; tweak(5); } |