[Cocci] Searching for pass-through functions

SF Markus Elfring elfring at users.sourceforge.net
Sun Oct 5 14:15:30 CEST 2014


> 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


More information about the Cocci mailing list