include/nullable.h


1
2
3
4
5
6
7
8
9

#ifndef AMAL_NULLABLE_H
#define AMAL_NULLABLE_H

struct __nullable_type_dummy{ int _; };

/* Used by static analysis tool to find null-pointer dereference errors */
#define nullable __attribute__((annotate("nullable")))

#endif