------- Comment #18 from jakub at gcc dot gnu dot org 2010-06-25 09:14 ------- That part comes from the questionable testcase, which does a_sp => matrix%local_data_sp before the loop unconditionally, eventhough matrix%local_data_sp is uninitialized unless use_sp is .true. Without the unswitching the values from the uninitialized struct matrix%local_data_sp are read, but not tested when use_sp is .false.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43866