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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information