https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39772
Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |NEW Summary|add a correctness check for |-fcheck=bounds could check |the size intrinsic to |for overflow of size |-fbounds-check |intrinsic. --- Comment #13 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> --- (In reply to Dominique d'Humieres from comment #11) > Am I correct that you are asking for something like -fcheck=undefined > (overflow, range, ... what ever is deemed suitable) for intrinsics returning > by default an INTEGER(4)? yes. > > If yes, the summary should probably changed to be less misleading (I had to > read the thread twice to understand). done