We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8dd4762 commit 99a4da4Copy full SHA for 99a4da4
tests/regression/00-sanity/39-assert-ptr.c
@@ -0,0 +1,15 @@
1
+#include <stdlib.h>
2
+#include <assert.h>
3
+
4
+int main() {
5
+ int* success = malloc(sizeof(int));
6
+ int* silence = malloc(sizeof(int));
7
+ int* fail = NULL;
8
+ int* unknown;
9
+ // intentionally using assert, specific order to work with assert refine
10
+ assert(success);
11
+ assert(unknown); // UNKNOWN!
12
+ assert(fail); // FAIL!
13
+ return 0;
14
+ assert(silence); // NOWARN!
15
+}
0 commit comments