Merge branches 'dump-macros-v2', 'fix-predefined-size', 'fix-bool-context', 'fix...
[smatch.git] / validation / logical.c
blob3f97522712153258802b77345e5e552046823137
1 extern int a(void);
2 extern int b(void);
3 extern int c(void);
5 static int or(void)
7 return a() || b() || c();
10 static int and(void)
12 return a() && b() && c();
15 * check-name: Logical and/or