I believe the following code is not producing the expected result or diagnostics. ```c int main() { int a; if (true) defer a = 1; } ```