> This discussion is about parsing the source code.
It seems that an acceptable solution was found according to your advice
yesterday.
I could offer other ideas for another bit of software fine-tuning.
Regards,
Markus
___
Cocci mailing list
On Sat, 28 Mar 2020, Markus Elfring wrote:
> > I have this all working with the following script with the caveat that
> > running it on moderately complicated source files makes it never
> > finish (after an hour or so the spatch process crashes with a stack
> > overflow error).
>
> Do you
> I have this all working with the following script with the caveat that
> running it on moderately complicated source files makes it never
> finish (after an hour or so the spatch process crashes with a stack
> overflow error).
Do you find any information interesting from a previous bug report?
> The problem can be seen with the --debug option:
>
> FLOW: can't jump to VMALLOC_FAULT_TARGET: because we can't find this label
>
> It's not apparent with the --parse-c option because it's not a parsing
> problem.
Thanks for such information.
Can the example be transformed even if extra
> // deleted part
> retry:
> down_read(>mmap_sem);
> vma = find_vma(mm, address);
> if (!vma)
> goto bad_area;
> // deleted part
> }
> // deleted part
>
>
> Application of the software “Coccinelle 1.0.8-00029-ga549b9f0” (OCaml 4.10.0)
>
>
On Sat, 28 Mar 2020, Markus Elfring wrote:
> >> How will corresponding software development resources evolve?
> >
> > I don't think I understand the question, or, actually, are you asking
> > me or the coccinelle developers ?
>
> I hope that another communication approach can eventually
>> How would you like to fix this situation?
>
> Who exactly do you think "you" is?
Every contributor with helpful software development resources for this issue.
> I will look at it,
Thanks for another promising feedback.
> but it is not very polite to ask a user of Coccinelle such a
On Sat, 28 Mar 2020, Markus Elfring wrote:
> >> How will corresponding software development resources evolve?
> >
> > I don't think I understand the question, or, actually, are you asking
> > me or the coccinelle developers ?
>
> I hope that another communication approach can eventually
>> How will corresponding software development resources evolve?
>
> I don't think I understand the question, or, actually, are you asking
> me or the coccinelle developers ?
I hope that another communication approach can eventually increase
the chances for a better common understanding of
> I would be interested to find out why coccinelle wasn't able to do the
> last 1%, but only as part of a long-term learning process on getting
> better with coccinelle - …
How will corresponding software development resources evolve?
Regards,
Markus
> Convert the last few remaining mmap_sem rwsem calls to use the new
> mmap locking API. These were missed by coccinelle for some reason
Will the clarification of this software situation become more interesting?
> (I think coccinelle does not support some of the preprocessor
> constructs in
11 matches
Mail list logo