No, the compiler is just a witness to the fact that the program is syntactically correct.
It cannot guarantee that the program will behave correctly.
No, the compiler is just a witness to the fact that the program is syntactically correct.
It cannot guarantee that the program will behave correctly.