------- Comment #9 from Tobias dot Schlueter at physik dot uni-muenchen dot de 2007-05-19 11:22 ------- Subject: Re: INTRINSIC symbols can be given the wrong type
dfranke at gcc dot gnu dot org wrote: > Thus, we should make sure that each intrinsic starts with the correct type to > begin with and emit a warning/error if someone attempts to change that type > (wherever the right place for this may be)? The idea is probably that giving all intrinsics types right from the beginning would be unnecessarily blowing up namespaces, and therefore memory and compile-time consumption (and maybe module files) What one can possibly do, though it might require quite a bit of care, is modifying variable_decl() to check if the symbol is an intrinsic declared with the correct type before adding it to the namespace. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20373
