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