Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/strlenopt-87.c @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line source
/* PR tree-optimization/92157 - incorrect strcmp() == 0 result for unknown strings​ { dg-do run } { dg-options "-O2 -Wall" } */ #include "strlenopt.h" char a2[2], a3[3]; static inline __attribute__ ((always_inline)) int verify_not_equal (const char *s, const char *t, int x) { int n = x < 0 ? strlen (s) : 0 < x ? strlen (t) : strlen (s) + strlen (t); if (strcmp (t, s) == 0) abort (); return n; } __attribute__ ((noipa)) int test_a2_s (const char *s) { return verify_not_equal (a2, s, 0); } __attribute__ ((noipa)) int test_a2_a3 (void) { return verify_not_equal (a2, a3, 0); } __attribute__ ((noipa)) int test_a3_a2 (void) { return verify_not_equal (a3, a2, 0); } __attribute__ ((noipa)) int test_s_a2 (const char *s) { return verify_not_equal (s, a2, 0); } __attribute__ ((noipa)) int test_a2_s_1 (const char *s) { return verify_not_equal (a2, s, -1); } __attribute__ ((noipa)) int test_a2_a3_1 (void) { return verify_not_equal (a2, a3, -1); } __attribute__ ((noipa)) int test_a3_a2_1 (void) { return verify_not_equal (a3, a2, -1); } __attribute__ ((noipa)) int test_s_a2_1 (const char *s) { return verify_not_equal (s, a2, -1); } __attribute__ ((noipa)) int test_a2_s_2 (const char *s) { return verify_not_equal (a2, s, +1); } __attribute__ ((noipa)) int test_a2_a3_2 (void) { return verify_not_equal (a2, a3, +1); } __attribute__ ((noipa)) int test_a3_a2_2 (void) { return verify_not_equal (a3, a2, +1); } __attribute__ ((noipa)) int test_s_a2_2 (const char *s) { return verify_not_equal (s, a2, +1); } int main (void) { a2[0] = '1'; a3[0] = '1'; a3[0] = '2'; test_a2_s (""); test_a2_a3 (); test_a3_a2 (); test_s_a2 (""); test_a2_s_1 (""); test_a2_a3_1 (); test_a3_a2_1 (); test_s_a2_1 (""); test_a2_s_2 (""); test_a2_a3_2 (); test_a3_a2_2 (); test_s_a2_2 (""); }