From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Christopher Li <sparse@chrisli.org>,
Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH 0/5] more validation of C99 for-loop initializers
Date: Sat, 18 Feb 2017 21:30:43 +0100 [thread overview]
Message-ID: <20170218203048.22276-1-luc.vanoostenryck@gmail.com> (raw)
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
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
next reply other threads:[~2017-02-18 20:30 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-18 20:30 Luc Van Oostenryck [this message]
2017-02-18 20:30 ` [PATCH 1/5] replace test for c99 for-loop initializers Luc Van Oostenryck
2017-02-18 22:37 ` Ramsay Jones
2017-02-19 1:10 ` Luc Van Oostenryck
2017-02-19 20:58 ` Ramsay Jones
2017-02-20 7:20 ` [PATCH v2 0/5] more validation of C99 " Luc Van Oostenryck
2017-02-20 7:20 ` [PATCH v2 1/5] replace test for c99 " Luc Van Oostenryck
2017-02-20 14:05 ` Ramsay Jones
2017-02-20 7:20 ` [PATCH v2 2/5] add test case for scope of C99 for-loop declarations Luc Van Oostenryck
2017-02-20 7:20 ` [PATCH v2 3/5] add test cases for storage of c99 " Luc Van Oostenryck
2017-02-20 7:20 ` [PATCH v2 4/5] add a method to external_declaration() Luc Van Oostenryck
2017-02-20 7:20 ` [PATCH v2 5/5] check the storage of C99 for-loop initializers Luc Van Oostenryck
2017-02-18 20:30 ` [PATCH 2/5] add test case for scope of C99 for-loop declarations Luc Van Oostenryck
2017-02-18 20:30 ` [PATCH 3/5] add test cases for storage of c99 " Luc Van Oostenryck
2017-02-18 20:30 ` [PATCH 4/5] add a method to external_declaration() Luc Van Oostenryck
2017-02-27 15:37 ` Christopher Li
2017-02-27 21:34 ` Luc Van Oostenryck
2017-02-28 9:46 ` Luc Van Oostenryck
2017-02-28 10:03 ` [PATCH v3 0/7] more validation of C99 for-loop initializers Luc Van Oostenryck
2017-02-28 10:03 ` [PATCH v3 1/7] replace test for c99 " Luc Van Oostenryck
2017-02-28 10:03 ` [PATCH v3 2/7] add test case for scope of C99 for-loop declarations Luc Van Oostenryck
2017-02-28 10:03 ` [PATCH v3 3/7] add test cases for storage of c99 " Luc Van Oostenryck
2017-02-28 10:04 ` [PATCH v3 4/7] add a method to external_declaration() Luc Van Oostenryck
2017-03-05 14:04 ` Christopher Li
2017-03-05 15:12 ` Luc Van Oostenryck
2017-03-06 1:13 ` Christopher Li
2017-03-05 19:21 ` [PATCH v4 0/6] more validation of C99 for-loop initializers Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 1/6] replace test for c99 " Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 2/6] add test case for scope of C99 for-loop declarations Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 3/6] add test cases for storage of c99 " Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 4/6] add an optional validation method to external_declaration() Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 5/6] check the storage of C99 for-loop initializers Luc Van Oostenryck
2017-03-05 19:21 ` [PATCH v4 6/6] move 'extern with initializer' validation after the validate method Luc Van Oostenryck
2017-03-06 0:59 ` [PATCH v4 0/6] more validation of C99 for-loop initializers Christopher Li
2017-03-06 1:08 ` Luc Van Oostenryck
2017-02-28 10:04 ` [PATCH v3 5/7] check the storage " Luc Van Oostenryck
2017-03-05 14:26 ` Christopher Li
2017-03-05 15:24 ` Luc Van Oostenryck
2017-02-28 10:04 ` [PATCH v3 6/7] make process_decl() aware of the presence of an initializer Luc Van Oostenryck
2017-03-05 14:49 ` Christopher Li
2017-03-05 15:29 ` Luc Van Oostenryck
2017-02-28 10:04 ` [PATCH v3 7/7] move check extern with initializer to default_process_decl() Luc Van Oostenryck
2017-02-28 16:34 ` [PATCH v3 0/7] more validation of C99 for-loop initializers Christopher Li
2017-02-28 16:40 ` Luc Van Oostenryck
2017-02-18 20:30 ` [PATCH 5/5] check the storage " Luc Van Oostenryck
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170218203048.22276-1-luc.vanoostenryck@gmail.com \
--to=luc.vanoostenryck@gmail.com \
--cc=linux-sparse@vger.kernel.org \
--cc=sparse@chrisli.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.