From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4152 invoked by alias); 15 Sep 2009 10:30:20 -0000 Received: (qmail 4137 invoked by uid 22791); 15 Sep 2009 10:30:18 -0000 X-SWARE-Spam-Status: No, hits=-2.1 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from smtp-102-tuesday.nerim.net (HELO kraid.nerim.net) (62.4.16.102) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 15 Sep 2009 10:30:12 +0000 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by kraid.nerim.net (Postfix) with ESMTP id 3D294CF257; Tue, 15 Sep 2009 12:30:09 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with esmtp (Exim 4.69) (envelope-from ) id 1MnVIa-0007Yk-3U; Tue, 15 Sep 2009 12:30:12 +0200 Message-ID: <4AAF6CB6.5010607@starynkevitch.net> Date: Tue, 15 Sep 2009 10:30:00 -0000 From: Basile STARYNKEVITCH User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090701) MIME-Version: 1.0 To: "Peter A. Felvegi" CC: gcc@gcc.gnu.org Subject: Re: array subscript is below array bounds : false positive? References: <4AAF6A13.2090303@praire-chicken.com> In-Reply-To: <4AAF6A13.2090303@praire-chicken.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-09/txt/msg00261.txt.bz2 Peter A. Felvegi wrote: > Hello, > ---->8---->8---->8---->8---->8---->8---->8---->8---->8---->8---- > #define ASSERT(x) if (x) { } else { __asm__("int $0x03"); } With the trunk, that is future 4.5, I would suggest #define ASSERT(x) if (x) {} else {__builtin_unreachable ();} or at least, if the int$03 is important, #define ASSERT(x) if (!(x)) \ { volatile __asm__("int $0x03");__builtin_unreachable ();} See http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html#Other-Builtins Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***