I think so.  Alternatively, some statements return NULL if they are removed by semantic, like static ifs/asserts that are not triggered.  This should work at least in theory.