coverity-model.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

void __attribute__((noreturn)) _abort(void) {
	__coverity_panic__();
}

void *__memalign(size_t blocksize, size_t bytes, const char *location) {
	__coverity_alloc__(bytes);
}

void mem_free(struct mem_region *region, void *mem, const char *location) {
	__coverity_free__(mem);
}

void lock(struct lock *l) {
	__coverity_exclusive_lock_acquire__(l);
}

void unlock(struct lock *l) {
	__coverity_exclusive_lock_release__(l);
}

static inline void cpu_relax(void) {
	__coverity_sleep__();
}