#include <stdio.h>
#include <assert.h>
void print(int* p) {
assert(p != NULL); // abort() has been called
printf("%d\n", *p);
}
int main()
{
int a = 234;
int* p1 = NULL;
int* p2 = NULL;
p1 = &a;
print(p1);
print(p2);
return 0;
}
/*
run:
234
Assertion failed: p != NULL, file main.c, line 5
*/