When I use spatch to scan some file, I found it may loop sometimes, did anyone encounter too?
If using -debug, it show pause at 'bind' step ----------------------------------------------------------------------- HANDLING: /root/windows/ok_file.c ----------------------------------------------------------------------- let's go ----------------------------------------------------------------------- ----------------------------------------------------------------------- ----------------------------------------------------------------------- rule starting on line 1 = ----------------------------------------------------------------------- dependencies for rule rule starting on line 1 satisfied: binding in = [] binding relevant in = [] ----------------------------------------------------------------------- proto for rule starting on line 1 = ----------------------------------------------------------------------- dependencies for rule proto for rule starting on line 1 not satisfied: rule starting on line 1 not satisfied binding in environment = [] ----------------------------------------------------------------------- Finished ----------------------------------------------------------------------- HANDLING: /root/loop_file.c ----------------------------------------------------------------------- let's go ----------------------------------------------------------------------- ----------------------------------------------------------------------- ----------------------------------------------------------------------- rule starting on line 1 = ----------------------------------------------------------------------- dependencies for rule rule starting on line 1 satisfied: binding in = [] binding relevant in = [] <--- step here, then nothing more output..... :( _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
