Re: [PATCH] fortran/66043 -- Check for NULL() in STORAGE_SIZE()

[FX]

Hi Steve,

+      gfc_error ("%qs argument of %qs intrinsic at %L shall not be an "
+                "unallocated allocatable variable or a disassociated or "
+                "undefined pointer”,

Given that we know explicitly that the expr is NULL, wouldn’t it be nicer to 
give only the relevant condition (here, I guess it’s “undefined pointer”)?

Regarding the other example mention in the PR’s comment #2, I guess there’s no 
requirement for the compiler to diagnose this, is there?

FX