They might be thinking of cases like where C compilers can remove code that zeroes memory holding security-sensitive data. [0][1] The compiler is permitted to reason that this memory is about to be deallocated anyway, so we can elide the memset call.
I can't imagine why a C compiler would remove a non-trivial runtime check though (except undefined behaviour).