Compiler bug(s) with implied-DO array initialisation inside derived type across modules

Compiler bug(s) with implied-DO array initialisation inside derived type across modules

I've found some strange behaivour in derived type constructors when the following criteria are met:

  • A derived type contains an array
  • The array's initialisation expression contains an implied-DO
  • The value expression in the implied-DO is a numeric literal
  • The derived type's constructor is called from a module other than that which defines the derived type

The attached file shows the cases I've tested and the behaviour that they cause.  In summary:

  • Using an implied-DO like (0, i = 1, 5) causes a compiler error, but (0*i, i = 1, 5) does not
  • These compiler errors occur where the derived type's constructor is called, not at the implied-DO
  • The errors do not occur within the same module as the derived type definition, only other modules
AllegatoDimensione
Download ifort-initialisation-bug.f902.27 KB
4 post / 0 nuovi
Ultimo contenuto
Per informazioni complete sulle ottimizzazioni del compilatore, consultare l'Avviso sull'ottimizzazione

Thanks - I appreciate the detailed test case. I'm investigating and will escalate the issue to the developers. Issue ID is DPD200248580.

Steve

After working around this by using 0*i in the code that was having these problems, I still found myself triggering bugs.  I'm not sure if this is the same bug or related, but the existance of an implied-DO initialisation causes all kinds of strange behaviour that depends on the arrangement of elements within the derived type.  I've attached more test cases.  I'm guessing this one might be some kind of alignment-related bug in ifort's handling of derived type definitions in modules, and like the other problem it only occurs when constructors are called from outside of the module the derived type is defined in.

Allegati: 

AllegatoDimensione
Download ifort-initialisation-bug-2.f903.54 KB

Thanks - I'll give this to the developers as well.

Steve

Accedere per lasciare un commento.