------- Comment #20 from jv244 at cam dot ac dot uk 2010-06-25 09:28 ------- (In reply to comment #18) > 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.
thanks for looking into the bug report. Actually the testcase can be turned in 'unquestionable' by adding a 'NULLIFY(a%local_data_sp)' in the main program. At that point the pointer assignment (a_sp => matrix%local_data_sp) makes a_sp defined, but valgrind still yields an error. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43866