From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11429 invoked by alias); 3 Sep 2010 20:05:12 -0000 Received: (qmail 11297 invoked by uid 48); 3 Sep 2010 20:04:59 -0000 Date: Fri, 03 Sep 2010 20:05:00 -0000 Message-ID: <20100903200459.11296.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/45522] VRP misses oppurtunity for statement folding. In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "hubicka at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2010-09/txt/msg00501.txt.bz2 ------- Comment #4 from hubicka at gcc dot gnu dot org 2010-09-03 20:04 ------- A related testcase where we fail to fold fundamentals[0] typedef union tree_node *tree; enum tree_code { OFFSET_TYPE, ENUMERAL_TYPE, BOOLEAN_TYPE, POINTER_TYPE, FIXED_POINT_TYPE, }; struct tree_base { unsigned public_flag:1; }; struct tree_decl_with_vis { unsigned comdat_flag:1; }; union tree_node { struct tree_base base; struct tree_decl_with_vis decl_with_vis; }; enum tree_index { TI_LONG_DOUBLE_PTR_TYPE, TI_INTEGER_PTR_TYPE, TI_VOID_TYPE, TI_PTR_TYPE, TI_VA_LIST_FPR_COUNTER_FIELD, TI_BOOLEAN_TYPE, TI_FILEPTR_TYPE, TI_CURRENT_TARGET_PRAGMA, TI_CURRENT_OPTIMIZE_PRAGMA, TI_MAX }; extern tree global_trees[TI_MAX]; emit_support_tinfos (void) { static tree *const fundamentals[] = { &global_trees[TI_VOID_TYPE], &global_trees[TI_BOOLEAN_TYPE], }; int ix; for (ix = 0; fundamentals[ix]; ix++) { { tree tinfo; { ((void) (!(((tinfo)->base.public_flag) && !(__extension__ ( { __typeof (tinfo) __t = (tinfo); __t;} )->decl_with_vis. comdat_flag)) ? fancy_abort ("../../gcc/cp/rtti.c", 1529, __FUNCTION__), 0 : 0)); } } } } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45522