xref: /third_party/ltp/tools/sparse/sparse-src/validation/builtin-objsize-dyn.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_civoid *alloc(unsigned long)__attribute__((alloc_size(1)));
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_ci_Bool sta(void)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci	void *ptr = alloc(4);
6f08c3bdfSopenharmony_ci	return __builtin_object_size(ptr, 0) == 4;
7f08c3bdfSopenharmony_ci}
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_ci_Bool dyn(unsigned long n)
10f08c3bdfSopenharmony_ci{
11f08c3bdfSopenharmony_ci	void *ptr = alloc(n);
12f08c3bdfSopenharmony_ci	return __builtin_object_size(ptr, 0) == n;
13f08c3bdfSopenharmony_ci}
14f08c3bdfSopenharmony_ci
15f08c3bdfSopenharmony_ci/*
16f08c3bdfSopenharmony_ci * check-name: builtin-objsize-dyn
17f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
18f08c3bdfSopenharmony_ci * check-known-to-fail
19f08c3bdfSopenharmony_ci *
20f08c3bdfSopenharmony_ci * check-output-ignore
21f08c3bdfSopenharmony_ci * check-output-returns: 1
22f08c3bdfSopenharmony_ci */
23

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