From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sourceware.org (Postfix) with ESMTPS id 6A7C03857C62 for ; Sat, 12 Sep 2020 21:24:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 6A7C03857C62 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=inria.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=marc.glisse@inria.fr X-IronPort-AV: E=Sophos;i="5.76,359,1592863200"; d="scan'208";a="467374449" Received: from 85-171-191-139.rev.numericable.fr (HELO stedding) ([85.171.191.139]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Sep 2020 23:24:35 +0200 Date: Sat, 12 Sep 2020 23:24:35 +0200 (CEST) From: Marc Glisse X-X-Sender: glisse@stedding.saclay.inria.fr Reply-To: gcc-help To: William Tambe cc: gcc-help Subject: Re: Unconditional trap In-Reply-To: Message-ID: References: User-Agent: Alpine 2.23 (DEB 453 2020-06-18) MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII X-Spam-Status: No, score=-2.3 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc-help@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-help mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 12 Sep 2020 21:24:37 -0000 On Sat, 12 Sep 2020, William Tambe via Gcc-help wrote: > Using -fno-delete-null-pointer-checks helps. > > Is there a way to make it permanent in the GCC source such that > providing that option is not needed ? $ grep -R delete-null-pointer-checks gcc/config gcc/config/nios2/elf.h:/* Default -fdelete-null-pointer-checks to off, to prevent the compiler gcc/config/cr16/cr16.c: /* Disable -fdelete-null-pointer-checks option for CR16 target. TARGET_OPTION_OVERRIDE seems to be the way if you want to disable it for some specific target. If you want to change the default for all targets, you could edit common.opt instead. -- Marc Glisse