File: exists4.cocci

package info (click to toggle)
coccinelle 1.0.8.deb-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 26,148 kB
  • sloc: ml: 136,392; ansic: 23,594; sh: 2,189; makefile: 2,157; perl: 1,576; lisp: 840; python: 823; awk: 70; csh: 12
file content (13 lines) | stat: -rw-r--r-- 353 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
// This rule uses forall, with it, all control flows must match.
//
// The exists4.c was extended to add a c() in comparison to exists2.c
// this is done to show that using forall will still have an effect
// on bar() even though it does not match on main()
//
// This is the default behaviour when + or - is used as well.
@r forall@
@@

b();
...
-c();