File: exists3.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 (12 lines) | stat: -rw-r--r-- 326 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
// This rule uses exists, with it, the rule is successful if at least
// one of the possible control flows possible match.
// exists3.c has two possible control flows on main():
// 1. b() --> a > 5 --> c();
// 2. b() --> a <= 5 ---> no c();
// The match on 1. enables the changes to take place.
@r exists @
@@

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