This code is supposed to hit the null pointer. tests/fault_handler/main.c:43: error (nullPointer): Null pointer dereference: (volatile unsigned int*)(0x00000000u) tests/fault_handler/main.c:44: error (nullPointer): Null pointer dereference: (volatile unsigned int*)(0x00000000u)