On Sun, Apr 12, 2020 at 3:41 PM Philippe Mathieu-Daudé wrote:
>
> Coccinelle failed at processing this file:
>
> $ spatch ... --timeout 60 --sp-file \
> scripts/coccinelle/simplify-init-realize-error_propagate.cocci
> HANDLING: ./hw/arm/xlnx-zynqmp.c
> EXN:
Coccinelle failed at processing this file:
$ spatch ... --timeout 60 --sp-file \
scripts/coccinelle/simplify-init-realize-error_propagate.cocci
HANDLING: ./hw/arm/xlnx-zynqmp.c
EXN: Coccinelle_modules.Common.Timeout
Move the calls using _abort which don't depend on input
updated before