[Cocci] Matching format strings

[julia.lawall@lip6.fr (Julia Lawall)]

On Tue, 4 Jul 2017, Ond?ej Kuzn?k wrote:

> On Tue, Jul 04, 2017 at 03:32:25PM +0200, Julia Lawall wrote:
> >> The main problem that is holding me up is that coccinelle fails with the
> >> following error when trying to use the patch against the code above:
> >> Fatal error: exception Common.Impossible(145)
> >
> > You need
> >
> > identifier b_process.merged;
> >
> > instead of
> >
> > expression b_process.merged;
> >
> > When you do that, you will see that some more quotes are needed on the
> > string.
>
> That does work and seems to preserve the things that needed escaping,
> so just putting quotes around when merging looks enough, great!
>
> There is another scenario that I probably need to be able to handle, a
> string like this does not seem to match anything I throw at it (and in
> retrospect, you might have mentioned that earlier):
>
> "asd" "fgh" "jkl"
>
> Is there a way around that somehow or match, then pass into python to
> handle that?

This is in the C code?  I think that it should be matched by an
expression.  But run spatch --parse-c file.c to see if the containing
function has a parse error.

julia