linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
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

  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).