From patchwork Sun Jan 20 00:13:48 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 10772233 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 0AF9C1580 for ; Sun, 20 Jan 2019 00:14:00 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id E0559289E1 for ; Sun, 20 Jan 2019 00:13:59 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id CF15528A5A; Sun, 20 Jan 2019 00:13:59 +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=-8.0 required=2.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI 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 E91AA289E1 for ; Sun, 20 Jan 2019 00:13:57 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729890AbfATAN5 (ORCPT ); Sat, 19 Jan 2019 19:13:57 -0500 Received: from mail-wr1-f50.google.com ([209.85.221.50]:39677 "EHLO mail-wr1-f50.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727310AbfATAN5 (ORCPT ); Sat, 19 Jan 2019 19:13:57 -0500 Received: by mail-wr1-f50.google.com with SMTP id t27so19307330wra.6 for ; Sat, 19 Jan 2019 16:13:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=se/Fxryjzs++9X4DdkDaOPDBwvFCq/ThfNi95p0wbDg=; b=GO26/i476TVDD3Ik9P2XyQO6pvj4tRdPzwNqVasjt4p/Jzt6jAMb8skh2Df7tOVLPW zzmyyBaqDOLDAzSu9Wn2Q06E2K5+eCl2cxQkeY1MXyBfAg074d9zOo1xpLyaDAzu31rW YtvzjuvKuNIlhxO8YflqhOe0VP9G17N2BNdopdSCAXJkrGTiCEXD+QDL/Z8ObocbsZjb fP5lH7htHeCcQf+WGfAOM/5M7vQEELPSksFMftSZK0vWSGbP127mTBpBt0LVgcMbahqy qLpeyKkB6/9vfrqFKo+kGyBUTa00siY9mIm2ygV0p+cyJclVAZ5BnzHzPx9sUAixPF7m URbQ== 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:mime-version :content-transfer-encoding; bh=se/Fxryjzs++9X4DdkDaOPDBwvFCq/ThfNi95p0wbDg=; b=l62VUh9D6Ii5UQOFKjzMz4XA/mOT39JxhMJMnt95TKn2lQDDbf5M77/n3g4l19psdE eh/Eh1AzKSEVZevDcK5n5f24NmpTsrD6/uWysX61xl4WInYzaD4KJ1ltLtkeemaUN7Ce yIkA6V2Jfq4U4dWUPJuLxdWSfLcDI84cpr35d4NW17vUNBLXN/kFNwwkYDkO7GMq/gyM cQOgTpG0IJ3LUBFweZ+2Byp52X04CbYs7hwkFlUwSfVAc/VP/oAvCoJ/NGZWcwke8C4N YKjgDyo/JYIojK6k2Xp6ubp6gG5pLzdGaRCczzhuXkM+C8pPNMcXlgOHEr7yzGg9IN2X k0/Q== X-Gm-Message-State: AJcUukdj0ZST9R1CB45Bey6bNghiecAZezpOGJIoN+YXeLifl9KHdBcx DfhkmtMKoujHAA5sZyW4uT9mZ5Dc X-Google-Smtp-Source: ALg8bN6ptcXQCOf6YP4bE7gh1QVuqMrvxyPgL1+8R/Mycs3raiLvFO2B/md41EoTLZQV54j4pHdGcw== X-Received: by 2002:a5d:4dc8:: with SMTP id f8mr22672802wru.45.1547943235059; Sat, 19 Jan 2019 16:13:55 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40eb:400:dc79:225f:308a:97fa]) by smtp.gmail.com with ESMTPSA id x15sm100991673wrs.27.2019.01.19.16.13.54 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 19 Jan 2019 16:13:54 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 0/2] improve type info in error messages Date: Sun, 20 Jan 2019 01:13:48 +0100 Message-Id: <20190120001350.19987-1-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.20.0 MIME-Version: 1.0 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 Error/warning messages about type problems don't always display the concerned type(s) and those which do, don't dis)lay the type(s) consistently. This series improve both cases. Luc Van Oostenryck (2): display extra info for type errors in compare & conditional more consistent type info in error messages evaluate.c | 28 ++++++++++++++++------------ validation/bad-type-twice0.c | 4 ++-- validation/bad-type-twice1.c | 6 +++--- validation/compare-null-to-int.c | 6 +++--- validation/cond-err-expand.c | 8 ++++++-- validation/cond_expr.c | 4 ++-- validation/conditional-type.c | 32 ++++++++++++++++---------------- validation/enum-mismatch.c | 6 +++--- 8 files changed, 51 insertions(+), 43 deletions(-)