From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: [PATCH v2 0/5] more validation of C99 for-loop initializers Date: Mon, 20 Feb 2017 08:20:47 +0100 Message-ID: <20170220072052.2429-1-luc.vanoostenryck@gmail.com> References: <1ebf742e-5680-4160-6dc5-808fcfb5cc44@ramsayjones.plus.com> Return-path: Received: from mail-wr0-f196.google.com ([209.85.128.196]:35748 "EHLO mail-wr0-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750907AbdBTHaK (ORCPT ); Mon, 20 Feb 2017 02:30:10 -0500 Received: by mail-wr0-f196.google.com with SMTP id q39so10932640wrb.2 for ; Sun, 19 Feb 2017 23:30:09 -0800 (PST) In-Reply-To: <1ebf742e-5680-4160-6dc5-808fcfb5cc44@ramsayjones.plus.com> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: linux-sparse@vger.kernel.org Cc: Christopher Li , Ramsay Jones , Luc Van Oostenryck This serie adds some validations of C99-style for-loop initializers: scope and storage. Patch 1 replaces the current indirect test by a direct one Patch 2 adds a test case for the scope Patch 3 adds some test cases for storage. Patch 4 is a preparatory patch for 5). Patch 5 adds missing storage validation Changes since v1: - better log message for patch 1, thanks to Ramsay Jones Luc Van Oostenryck (5): replace test for c99 for-loop initializers add test case for scope of C99 for-loop declarations add test cases for storage of c99 for-loop declarations add a method to external_declaration() check the storage of C99 for-loop initializers lib.c | 2 +- parse.c | 37 ++++++++++++++++++++++++++++++------- parse.h | 3 ++- validation/c99-for-loop-decl.c | 40 ++++++++++++++++++++++++++++++++++++++++ validation/c99-for-loop.c | 36 ++++++++++++------------------------ 5 files changed, 85 insertions(+), 33 deletions(-) create mode 100644 validation/c99-for-loop-decl.c -- 2.11.0