http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50514
--- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> 2011-09-28 09:20:40 UTC --- I meant checking static expressions at compilation time, as in my example. This has no cost at run time. You proposed a run time check that still should be done if requested with a kind of -fcheck option. By the way, gfortran is already checking consistency of static arguments to intrinsic functions, it is that just these one are left unchecked.
