e7738de6d2
CI / Deep Native Runtime Cases (1/6) (push) Has been skipped
CI / Native Preflight (push) Failing after 1s
CI / Native Runtime Cases (1/2) (push) Failing after 0s
CI / Native Runtime Cases (2/2) (push) Failing after 1s
CI / Native Metadata Reports (push) Failing after 0s
CI / Native Direct Backend Artifacts (push) Failing after 0s
CI / Native Sanitizer Smoke (push) Failing after 1s
CI / Command Contract Snapshots (push) Failing after 1s
CI / Deep Conformance Suite (push) Has been skipped
CI / Graph Build Perf (push) Failing after 1s
CI / Deep Native Preflight (push) Has been skipped
CI / Deep Native Runtime Cases (2/6) (push) Has been skipped
CI / Deep Native Runtime Cases (3/6) (push) Has been skipped
CI / Conformance Suite (push) Failing after 1s
CI / Workspace Checks (push) Failing after 0s
CI / Deep Native Runtime Cases (5/6) (push) Has been skipped
CI / Deep Native Runtime Cases (6/6) (push) Has been skipped
CI / Deep Native Runtime Cases (4/6) (push) Has been skipped
CI / Deep Graph Build Perf (push) Has been skipped
21 lines
535 B
C
21 lines
535 B
C
#ifndef ZERO_C_ZERO_CONTRACTS_H
|
|
#define ZERO_C_ZERO_CONTRACTS_H
|
|
|
|
/*
|
|
* Zero-cost access-effect annotations for C API pointer contracts.
|
|
*
|
|
* These macros document the caller/callee contract at the declaration site and
|
|
* are intentionally empty for C compilers. The contract checker keeps exported
|
|
* native APIs from accepting unannotated pointer parameters or pointer returns.
|
|
*/
|
|
#define Z_IN
|
|
#define Z_OUT
|
|
#define Z_INOUT
|
|
#define Z_SINK
|
|
#define Z_OPTIONAL
|
|
#define Z_RET_OWNED
|
|
#define Z_RET_BORROWED
|
|
#define Z_RET_OPTIONAL
|
|
|
|
#endif
|