1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/*
* Copyright (c) 2024 Apple Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
* This file contains Original Code and/or Modifications of Original Code
* as defined in and that are subject to the Apple Public Source License
* Version 2.0 (the 'License'). You may not use this file except in
* compliance with the License. Please obtain a copy of the License at
* http://www.opensource.apple.com/apsl/ and read it before using this
* file.
*
* The Original Code and all software distributed under the License are
* distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
* Please see the License for the specific language governing rights and
* limitations under the License.
*
* @APPLE_LICENSE_HEADER_END@
*/
#ifndef _LIBC_BOUNDS_H_
#define _LIBC_BOUNDS_H_
#include <sys/cdefs.h>
#ifdef __LIBC_STAGED_BOUNDS_SAFETY_ATTRIBUTES /* compiler-defined */
#define _LIBC_COUNT(x) __counted_by(x)
#define _LIBC_COUNT_OR_NULL(x) __counted_by_or_null(x)
#define _LIBC_SIZE(x) __sized_by(x)
#define _LIBC_SIZE_OR_NULL(x) __sized_by_or_null(x)
#define _LIBC_ENDED_BY(x) __ended_by(x)
#define _LIBC_SINGLE __single
#define _LIBC_UNSAFE_INDEXABLE __unsafe_indexable
#define _LIBC_CSTR __null_terminated
#define _LIBC_NULL_TERMINATED __null_terminated
#define _LIBC_FLEX_COUNT(FIELD, INTCOUNT) __counted_by(FIELD)
#define _LIBC_SINGLE_BY_DEFAULT() __ptrcheck_abi_assume_single()
#define _LIBC_PTRCHECK_REPLACED(R) __ptrcheck_unavailable_r(R)
#define _LIBC_FORGE_PTR(P, S) __unsafe_forge_bidi_indexable(__typeof__(*P) *, P, S)
#else /* _LIBC_ANNOTATE_BOUNDS */
#define _LIBC_COUNT(x)
#define _LIBC_COUNT_OR_NULL(x)
#define _LIBC_SIZE(x)
#define _LIBC_SIZE_OR_NULL(x)
#define _LIBC_ENDED_BY(x)
#define _LIBC_SINGLE
#define _LIBC_UNSAFE_INDEXABLE
#define _LIBC_CSTR
#define _LIBC_NULL_TERMINATED
#define _LIBC_FLEX_COUNT(FIELD, INTCOUNT) (INTCOUNT)
#define _LIBC_SINGLE_BY_DEFAULT()
#define _LIBC_PTRCHECK_REPLACED(R)
#define _LIBC_FORGE_PTR(P, S) (P)
#endif /* _LIBC_ANNOTATE_BOUNDS */
#endif /* _LIBC_BOUNDS_H_ */
|
