| /* |
| { dg-do compile } |
| { dg-options "-O2 -Wall -fdump-tree-optimized" } */ |
| |
| typedef __SIZE_TYPE__ size_t; |
| |
| extern void abort (void); |
| extern int snprintf (char*, size_t, const char*, ...); |
| |
| const char s0[] = ""; |
| const char s1[] = "a"; |
| const char s2[] = "ab"; |
| |
| extern char ax[]; |
| extern const char* const ptr; |
| |
| #define CAT(x, y) x ## y |
| #define CONCAT(x, y) CAT (x, y) |
| #define TEST CONCAT (test_on_line_, __LINE__) |
| |
| #define KEEP(expr) do { \ |
| if ((expr)) { \ |
| extern void TEST (void); \ |
| TEST (); \ |
| } \ |
| } while (0) |
| |
| |
| void test_literal (int i) |
| { |
| KEEP (0 < snprintf (0, 0, "%s", i ? "" : ax)); |
| KEEP (1 < snprintf (0, 0, "%s", i ? ax : "1")); |
| KEEP (2 < snprintf (0, 0, "%s", i ? "12" : ptr)); |
| |
| KEEP (1 > snprintf (0, 0, "%s", i ? "" : ax)); |
| KEEP (1 > snprintf (0, 0, "%s", i ? ax : "1")); |
| KEEP (2 > snprintf (0, 0, "%s", i ? "12" : ptr)); |
| } |
| |
| void test_cststr (int i) |
| { |
| KEEP (0 < snprintf (0, 0, "%s", i ? s0 : ax)); |
| KEEP (1 < snprintf (0, 0, "%s", i ? ax : s1)); |
| KEEP (2 < snprintf (0, 0, "%s", i ? s2 : ptr)); |
| |
| KEEP (1 > snprintf (0, 0, "%s", i ? s0 : ax)); |
| KEEP (1 > snprintf (0, 0, "%s", i ? ax : s1)); |
| KEEP (2 > snprintf (0, 0, "%s", i ? s2 : ptr)); |
| } |
| |
| /* { dg-final { scan-tree-dump-times "test_on_line_" 12 "optimized" } } */ |