xref: /third_party/ltp/tools/sparse/sparse-src/validation/logical.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_ciextern int a(void);
2f08c3bdfSopenharmony_ciextern int b(void);
3f08c3bdfSopenharmony_ciextern int c(void);
4f08c3bdfSopenharmony_ci
5f08c3bdfSopenharmony_cistatic int or(void)
6f08c3bdfSopenharmony_ci{
7f08c3bdfSopenharmony_ci	return a() || b() || c();
8f08c3bdfSopenharmony_ci}
9f08c3bdfSopenharmony_ci
10f08c3bdfSopenharmony_cistatic int and(void)
11f08c3bdfSopenharmony_ci{
12f08c3bdfSopenharmony_ci	return a() && b() && c();
13f08c3bdfSopenharmony_ci}
14f08c3bdfSopenharmony_ci/*
15f08c3bdfSopenharmony_ci * check-name: Logical and/or
16f08c3bdfSopenharmony_ci */
17f08c3bdfSopenharmony_ci
18

Indexes created Thu Nov 07 10:32:03 CST 2024