From 726f4f56a288db559fc3285e599c51569d9008c1 Mon Sep 17 00:00:00 2001 From: krebbel Date: Wed, 25 Jul 2007 11:18:16 +0000 Subject: 2007-07-25 Andreas Krebbel * gcc.dg/20070725-1.c: Testcase for revision 126876 added. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126909 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/gcc.dg/20070725-1.c | 63 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/20070725-1.c (limited to 'gcc/testsuite/gcc.dg/20070725-1.c') diff --git a/gcc/testsuite/gcc.dg/20070725-1.c b/gcc/testsuite/gcc.dg/20070725-1.c new file mode 100644 index 00000000000..c7a0337c76f --- /dev/null +++ b/gcc/testsuite/gcc.dg/20070725-1.c @@ -0,0 +1,63 @@ +/* This used to fail due to a ifcombine problem wrecking 64bit + checks. Fixed with rev. 126876. */ +/* { dg-do run } */ +/* { dg-options "-O1" } */ + +struct tree_base +{ + unsigned code:16; + + unsigned side_effects_flag:1; + unsigned constant_flag:1; + unsigned addressable_flag:1; + unsigned volatile_flag:1; + unsigned readonly_flag:1; + unsigned unsigned_flag:1; + unsigned asm_written_flag:1; + unsigned nowarning_flag:1; + + unsigned used_flag:1; + unsigned nothrow_flag:1; + unsigned static_flag:1; + unsigned public_flag:1; + unsigned private_flag:1; + unsigned protected_flag:1; + unsigned deprecated_flag:1; + unsigned invariant_flag:1; + + unsigned lang_flag_0:1; + unsigned lang_flag_1:1; + unsigned lang_flag_2:1; + unsigned lang_flag_3:1; + unsigned lang_flag_4:1; + unsigned lang_flag_5:1; + unsigned lang_flag_6:1; + unsigned visited:1; + + unsigned spare:24; + unsigned long a; +}; + +int +foo (struct tree_base *rhs) +{ + if (({const struct tree_base* __t = (rhs); __t;})->readonly_flag + && (rhs)->static_flag) + return 1; + + return 0; +} + +extern void abort (void); + +int +main () +{ + struct tree_base t; + + t.readonly_flag = t.static_flag = 0; + if (foo (&t)) + abort (); + + return 0; +} -- cgit v1.2.1