From patchwork Tue Apr 4 21:49:55 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 9662627 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork.web.codeaurora.org (Postfix) with ESMTP id 50B3360353 for ; Tue, 4 Apr 2017 21:50:18 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 42D5628583 for ; Tue, 4 Apr 2017 21:50:18 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 37B6D285A0; Tue, 4 Apr 2017 21:50:18 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-6.3 required=2.0 tests=BAYES_00, DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED, FREEMAIL_FROM, RCVD_IN_DNSWL_HI, RCVD_IN_SORBS_SPAM, T_DKIM_INVALID autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id D2BEF2859A for ; Tue, 4 Apr 2017 21:50:17 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754782AbdDDVuR (ORCPT ); Tue, 4 Apr 2017 17:50:17 -0400 Received: from mail-wm0-f66.google.com ([74.125.82.66]:34412 "EHLO mail-wm0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754821AbdDDVuQ (ORCPT ); Tue, 4 Apr 2017 17:50:16 -0400 Received: by mail-wm0-f66.google.com with SMTP id x75so8017293wma.1 for ; Tue, 04 Apr 2017 14:50:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=f6E6zgfF/Q4nNnCfrf1crI1s8LgoWLMiIbrQmeNyYjY=; b=pBDKho3wsA+gwm7/WjdS9o6t5x0yOmrFHKFFygpQQ7MvfckYW357KkQGIREWSxGm1p UW7BbCxZei8T0lGU1+Hb/fbrEVyyagn7RS1etd/nOOw4YLbs/jtiw0Q0bnDvXoAgJTqc 5FxlfFr0ZJssIp7peJWRNb5lpDSydgWSvyXCAhAk8pOC+DUwAIAotQXfP8LUHA1WCdCU 3qAyQ3LMjhNj4AvNjgQMoCuHs6c30Yezogjx6Pw/9FnX6t6clF878s2fZSY/kWaa4WZK MRPuLjjhqBsYEtrMhefOugoPXL2Br7MEr1HcCYTgoeixOEqqanExsWDV63F2D/9EICwk Kfeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=f6E6zgfF/Q4nNnCfrf1crI1s8LgoWLMiIbrQmeNyYjY=; b=I/EUfp8afcZvQjZxqVYT0bCovSCGTSyCASKBlyOJ/jeHvpOpO2hIaauRgqTlsB7aCi n77X3bkofprGh0Jgs66rpKaRrXuWKojB01K5wt8AxQK4iS7JG0EWOF+YTpT8UUwhw3ht NWyrBlKPJPAYj+/LAw9JwT9xuFeJDFsR/UT40k7p4/o0LvFlTpxXW038I2gROJO/3Zx5 igxgvKc/Adcmv64G/rXV1ijuFS4v9fdUXZYPgBMAQR/AUVz7jdj7zb22ShUJwChLHpP6 dtV0kuPdST3/bRul/aP006Q9/Evb/BbVhxEXS34NY2uirL2vnkwUAddCLTSe86Yjmi2a qOzw== X-Gm-Message-State: AFeK/H2isv5nDhMnJd/Ofyxyv724yBYCmBmySxOaekaWaq2LoiOFzJCN6QYr6bmSU4T/Tg== X-Received: by 10.28.165.70 with SMTP id o67mr16370878wme.11.1491342614807; Tue, 04 Apr 2017 14:50:14 -0700 (PDT) Received: from localhost.localdomain ([2a02:a03f:88d:1900:706c:6cb1:d133:7ca3]) by smtp.gmail.com with ESMTPSA id 51sm23827153wrx.38.2017.04.04.14.50.13 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 04 Apr 2017 14:50:14 -0700 (PDT) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Christopher Li , Luc Van Oostenryck Subject: [PATCH 6/6] fix -dD for never-defined #undef Date: Tue, 4 Apr 2017 23:49:55 +0200 Message-Id: <20170404214955.47926-7-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.12.0 In-Reply-To: <20170404214955.47926-1-luc.vanoostenryck@gmail.com> References: <20170404214955.47926-1-luc.vanoostenryck@gmail.com> Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP Note: to support this, we have to create a symbol where it wasn't needed before. Signed-off-by: Luc Van Oostenryck --- pre-process.c | 3 +-- validation/preprocessor/dump-macros.c | 6 +++++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/pre-process.c b/pre-process.c index 63df3f71c..5067b59b2 100644 --- a/pre-process.c +++ b/pre-process.c @@ -1400,8 +1400,7 @@ static int do_handle_undef(struct stream *stream, struct token **line, struct to return 1; if (attr == sym->attr && sym->namespace == NS_UNDEF) return 1; - } else if (attr <= SYM_ATTR_NORMAL) - return 1; + } if (!sym || sym->scope != file_scope) { sym = alloc_symbol(left->pos, SYM_NODE); diff --git a/validation/preprocessor/dump-macros.c b/validation/preprocessor/dump-macros.c index 5508233aa..a10325171 100644 --- a/validation/preprocessor/dump-macros.c +++ b/validation/preprocessor/dump-macros.c @@ -6,9 +6,11 @@ #define DEF xyz #define NYDEF ydef + +#undef NDEF2 /* * check-name: dump-macros - * check-command: sparse -E -dD -DIJK=ijk -UNDEF -UNYDEF $file + * check-command: sparse -E -dD -DIJK=ijk -UNDEF1 -UNYDEF $file * * check-output-ignore check-output-pattern-1-times: #define __CHECKER__ 1 @@ -16,4 +18,6 @@ check-output-contains: #define IJK ijk check-output-contains: #define DEF xyz check-output-contains: #define NYDEF ydef check-output-contains: #undef ABC +check-output-contains: #undef NDEF1 +check-output-contains: #undef NDEF2 */