From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20322 invoked by alias); 1 Jan 2015 20:43:54 -0000 Mailing-List: contact overseers-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: , Sender: overseers-owner@sourceware.org Received: (qmail 20313 invoked by uid 89); 1 Jan 2015 20:43:53 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.1 required=5.0 tests=AWL,BAYES_00,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-qg0-f42.google.com Received: from mail-qg0-f42.google.com (HELO mail-qg0-f42.google.com) (209.85.192.42) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-SHA encrypted) ESMTPS; Thu, 01 Jan 2015 20:43:52 +0000 Received: by mail-qg0-f42.google.com with SMTP id q108so12677028qgd.1 for ; Thu, 01 Jan 2015 12:43:50 -0800 (PST) X-Received: by 10.140.107.73 with SMTP id g67mr53554897qgf.103.1420145030227; Thu, 01 Jan 2015 12:43:50 -0800 (PST) Received: from [192.168.0.100] (pool-71-167-227-133.nycmny.east.verizon.net. [71.167.227.133]) by mx.google.com with ESMTPSA id g20sm25605622qar.17.2015.01.01.12.43.47 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Jan 2015 12:43:49 -0800 (PST) Message-ID: <54A5B182.2020108@gmail.com> Date: Thu, 01 Jan 2015 20:43:00 -0000 From: Anthony User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.3.0 MIME-Version: 1.0 To: overseers@gcc.gnu.org Subject: Potential cc bug - not sure Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2015-q1/txt/msg00001.txt.bz2 Hi Overseers, I'm not sure if this is a bug because I'm not too familiar with the standards. I didn't log it so as not to pollute bugzilla. Happy New Year! Thanks, Anthony /* bug.c Bug title: No warning to report an unreachable statement GCC version and build info: $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.9/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Debian 4.9.1-19' --with-bugurl=file:///usr/share/doc/gcc-4.9/README.Bugs --enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.9 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.9 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --disable-vtable-verify --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.9-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --with-arch-32=i586 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.9.1 (Debian 4.9.1-19) Description: cc gives no -Wall warning for the snippet below, which, to me, represents a clear control-flow logic error. The program compiles fine, runs fine, prints "Hi!", and exits fine. */ #include int f1() { return fprintf(stdout,"Hi!\n"); puts("Unreachable statement, but no gcc warning."); } int main() { f1(); return 0; }