aboutsummaryrefslogtreecommitdiff
path: root/include/nullable.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/nullable.h')
-rw-r--r--include/nullable.h24
1 files changed, 2 insertions, 22 deletions
diff --git a/include/nullable.h b/include/nullable.h
index 6c4d3a7..f84100b 100644
--- a/include/nullable.h
+++ b/include/nullable.h
@@ -3,27 +3,7 @@
struct __nullable_type_dummy{ int _; };
-int assert_not_null(void *val);
-
-#ifdef DEBUG
-#define DefineNullablePtrType(type) \
- typedef struct type##_nullable type##_nullable; \
- struct type##_nullable { \
- type *value; \
- }
-#define NullablePtr(type) type##_nullable
-#define nullable_unwrap(nullable_type) \
- (assert_not_null((nullable_type).value) ? ((nullable_type).value) : NULL)
-#define nullable_assign(nullable_type, new_value) ((nullable_type).value = (new_value))
-#define is_not_null(nullable_type) ((nullable_type).value != NULL)
-#define nullable_raw(nullable_type) ((nullable_type).value)
-#else
-#define DefineNullablePtrType(type)
-#define NullablePtr(type) type*
-#define nullable_unwrap(value) value
-#define nullable_assign(nullable_type, new_value) ((nullable_type) = (new_value))
-#define is_not_null(nullable_type) ((nullable_type) != NULL)
-#define nullable_raw(nullable_type) (nullable_type)
-#endif
+/* Used by static analysis tool to find null-pointer dereference errors */
+#define nullable
#endif