> You can use --show-trying to find on what function it gets stuck.
1. /usr/src/linux-stable/drivers/media/pci/ttpci/av7110_ipack.c
…
trying function: av7110_ipack_instant_repack
timeout (we abort)
…
2. /usr/src/linux-stable/drivers/net/fddi/skfp/ess.c
…
trying function: ess_raf_received_pack
timeout (we abort)
…
3. /usr/src/linux-stable/crypto/fcrypt.c
…
trying function: kdb_read
timeout (we abort)
…
4. /usr/src/linux-stable/crypto/fcrypt.c
…
exn while in timeout_function
Fatal error: exception Failure("lexing: empty token")
5. /usr/src/linux-stable/net/ipv6/ndisc.c
…
trying function: ndisc_parse_options
exn while in timeout_function
Fatal error: exception Failure("is_pass_through: node 121: return ...[1,2,47] in
ndisc_parse_options reachable by inconsistent control-flow paths")
Should we reconsider more implementation details here?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
