effect-pragma does not work with flag -sbs
|Created on||Mar 08, 2003 16:59|
|Resolved on||Nov 19, 2004 15:06|
The effect-pragma is not working correctly with activated flag -sbs (new type checker). The flag -sbs does not only activate the new type checker, but it triggers some other modifications of the compiler as well. The important point here: "_EXT" instead of "" is used as module name for external symbols. As a consequence, the function CheckExistObjects() in file import.c does not find the effect symbols anymore... This might be an error in the macro CMP_OBJ_OBJDEF (file tree_compound.h), the macro may simply lack something like ((sbs==1)?EXTERN_MOD_NAME:NULL), but I am not sure... Besides, there are some rather similar macros in tree_compound.h which may contain the same bug. A short example for reproducing this bug will be given as an attachment.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information