On Sat, 4 Oct 2014, SF Markus Elfring wrote:
> Hello,
>
> I have retried a source code analysis approach which was discussed a while
> ago.
> http://article.gmane.org/gmane.comp.version-control.coccinelle/1900
> https://www.mail-archive.com/cocci%40diku.dk/msg01834.html
>
>
> elfring@Sonne:~/Projekte/Coccinelle/lokal/demos/pass-through> spatch.opt
> -sp_file list_pass-through_functions.cocci -dir /usr/src/linux-stable
> --include-headers-for-types >list_pass-through_functions-Linux-3_16_3.txt
> 2>list_pass-through_functions-Linux-3_16_3-errors.txt
>
>
> I have stopped this run after its execution took over 4,8 hours with the
> software "Coccinelle 1.0.0-rc22" on my openSUSE system. A log file contains
> the
> following information.
>
> …
> HANDLING: /usr/src/linux-stable/drivers/media/pci/ttpci/av7110_ipack.c
> C-c intercepted, will do some cleaning before exiting
>
>
> Can it be that the analysis tool became stuck on this source file after 4054
> files were processed before?
>
> How are the chances to complete the desired data extraction for all 23753 C
> files in a shorter time frame?
Use the timeout option. Then hopefully you can get a result for 23753-1
files.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
