What in the C standard allows compilers to optimize `(((char *)p – 1) == NULL` to false? Take the following snippet:
