TC ignores type error in dead code
|
|
Bugzilla Link |
796 |
Created on |
Dec 08, 2010 15:35 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
In the code from the latest SAC user:
import Array: all;
import StdIO: all;
typedef int[1] array;
int main()
{
array x;
x = 10;
#ifndef EXCLUDE_ERRORS
print(x);
#endif
return(0);
}
the obvious type error goes away if x becomes dead code.
I traced this in so far as until the tc there is a proper
type conversion, which in my view should lead to an error
message, but after type checking this is gone.
This is very counter-intuitive for the user and an error
for me.