From: Josh Triplett <josht@linux.vnet.ibm.com>
To: Damien Lespiau <damien.lespiau@gmail.com>
Cc: Josh Triplett <josh@freedesktop.org>,
Pavel Roskin <proski@gnu.org>,
linux-sparse@vger.kernel.org
Subject: Re: [PATCH 6/6] Add a simple test script, embed expected results into test files
Date: Thu, 28 Jun 2007 17:29:09 -0700 [thread overview]
Message-ID: <1183076949.2621.196.camel@josh-work.beaverton.ibm.com> (raw)
In-Reply-To: <cbf3148c0706281713l793c944fp372a2f91f6f9b18c@mail.gmail.com>
On Fri, 2007-06-29 at 02:13 +0200, Damien Lespiau wrote:
> > Will review in more detail later, but at first glance this looks quite
> > good, and very capable.
>
> I rebased the series against current HEAD to make testing easier.
Thanks.
> > Two minor things that jump out at me:
> > * The need to specify the command line as "../sparse args $file"
> > seems somewhat inelegant.
> solved: no path in check-command now.
Excellent.
> > Also, allowing an
> > alternate option "check-options" that just specifies sparse
> > flags seems useful, and the default command could do something
> > like "sparse $options $file"; that way, you can just say
> > "check-options: -E", or "check-options: -Wthingy".
> Humm, not sure if it's _that_ much useful to have
> check-options: -E -Wthingy
> instead of
> check-command: sparse -E -Wthingy $file
> for some reason I find the later less confusing, a matter of taste I guess.
I don't mind going with the latter for now and considering the former
for a later patch.
> > * The need to prefix every line of output, rather than delimiting
> > the start and end of the output, seems painful with large
> > amounts of output.
> Agreed. that's why ./test-suite format helps building such tags
Yes, but I still prefer the delimited format for readability.
> However I still run into a behavior that I cannot explain:
>
> validation$ echo $SHELL
> /bin/bash
> ----------
> validation$ ../sparse -E preprocessor/preprocessor19.c
>
> preprocessor/preprocessor19.c:4:9: warning: preprocessor token A redefined
> preprocessor/preprocessor19.c:3:9: this was the original definition
> y
> ----------
> validation$ ../sparse -E preprocessor/preprocessor19.c 2> o 1> o && cat o
>
> y
> processor/preprocessor19.c:4:9: warning: preprocessor token A redefined
> preprocessor/preprocessor19.c:3:9: this was the original definition
> ----------
> validation$ ../sparse -E preprocessor/preprocessor19.c &> o && cat o
> preprocessor/preprocessor19.c:4:9: warning: preprocessor token A redefined
> preprocessor/preprocessor19.c:3:9: this was the original definition
>
> y
>
> If you look carefully the 2> 1> redirections have eaten "pre" of the first
> "preprocessor". Using &> show a more suitable behavior but it seems
> that &> is not supported by every Bourne shell (for instance dash (the
> default /bin/sh of Ubuntu 7.04 does not support &>) Any idea ?
You can't redirect two things independently to the same file; that will
open the file twice, and the writes will conflict, giving exactly the
result you saw. > o 2>&1 should work; it has exactly the same effect as
&> .
- Josh Triplett
next prev parent reply other threads:[~2007-06-29 0:29 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-06-28 5:39 [PATCH 1/6] Bitfield without explicit sign should be a warning, not an error Pavel Roskin
2007-06-28 5:39 ` [PATCH 2/6] Hardcode actual type sizes, add -m32 support Pavel Roskin
2007-06-28 5:58 ` Al Viro
2007-06-28 6:05 ` Josh Triplett
2007-06-28 6:23 ` Al Viro
2007-06-28 6:27 ` Jeff Garzik
2007-06-28 6:46 ` Josh Triplett
2007-06-28 6:25 ` Jeff Garzik
2007-06-28 6:44 ` Pavel Roskin
2007-06-28 6:47 ` Jeff Garzik
2007-06-28 6:55 ` Josh Triplett
2007-06-28 6:54 ` Josh Triplett
2007-06-28 7:01 ` Jeff Garzik
2007-06-28 7:38 ` Josh Triplett
2007-06-28 6:27 ` Pavel Roskin
2007-06-28 5:40 ` [PATCH 3/6] cgcc: preserve sparse exit code if -no-compile is used Pavel Roskin
2007-06-28 6:12 ` Josh Triplett
2007-06-28 5:40 ` [PATCH 4/6] Avoid use of libc headers in the validation suite Pavel Roskin
2007-06-28 6:14 ` Josh Triplett
2007-06-28 5:40 ` [PATCH 5/6] Fix warnings about undeclared globals, they are irrelevant to the test Pavel Roskin
2007-06-28 6:18 ` Josh Triplett
2007-06-28 5:40 ` [PATCH 6/6] Add a simple test script, embed expected results into test files Pavel Roskin
2007-06-28 7:20 ` Josh Triplett
2007-06-28 18:59 ` Damien Lespiau
2007-06-28 21:21 ` Pavel Roskin
2007-06-28 21:38 ` Josh Triplett
2007-06-29 0:13 ` Damien Lespiau
2007-06-29 0:29 ` Josh Triplett [this message]
2007-07-02 4:59 ` Damien Lespiau
2007-07-02 5:19 ` Josh Triplett
2007-07-08 21:52 ` Josh Triplett
2007-07-09 2:15 ` Josh Triplett
2007-07-09 21:27 ` Damien Lespiau
2007-07-11 0:48 ` Anderson Lizardo
2007-06-28 6:09 ` [PATCH 1/6] Bitfield without explicit sign should be a warning, not an error Josh Triplett
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=1183076949.2621.196.camel@josh-work.beaverton.ibm.com \
--to=josht@linux.vnet.ibm.com \
--cc=damien.lespiau@gmail.com \
--cc=josh@freedesktop.org \
--cc=linux-sparse@vger.kernel.org \
--cc=proski@gnu.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).