From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18011 invoked by alias); 19 May 2015 15:23:01 -0000 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 Received: (qmail 17962 invoked by uid 89); 19 May 2015 15:23:00 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.0 required=5.0 tests=AWL,BAYES_50,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 X-Spam-User: qpsmtpd, 2 recipients X-HELO: mx2.suse.de Received: from cantor2.suse.de (HELO mx2.suse.de) (195.135.220.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (CAMELLIA256-SHA encrypted) ESMTPS; Tue, 19 May 2015 15:22:50 +0000 Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 5383AAABA; Tue, 19 May 2015 15:22:47 +0000 (UTC) From: Andreas Schwab To: "gil.hur at sf dot snu.ac.kr" Cc: gcc-bugs@gcc.gnu.org Subject: Re: [Bug tree-optimization/65752] Too strong optimizations int -> pointer casts References: X-Yow: Being a BALD HERO is almost as FESTIVE as a TATTOOED KNOCKWURST. Date: Tue, 19 May 2015 15:23:00 -0000 In-Reply-To: (gil hur at sf dot snu ac.kr's message of "Tue, 19 May 2015 15:12:15 +0000") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2015-05/txt/msg01526.txt.bz2 "gil.hur at sf dot snu.ac.kr" writes: > Since "hello" is not printed, I think the if-statement is the same as no-op. > Thus, removing the if-statement should not change the behavior of the program > according to ISO C11. Unless you are invoking undefined behaviour. Andreas. -- Andreas Schwab, SUSE Labs, schwab@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."