states: add another read_only check
[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