[flang] Non-volatile pointer can point to volatile target

[ashermancinelli]

From offline discussion, this looks to be a bug. Flang compiles this with no warnings.

integer,pointer::p
integer,target,volatile::t
p=>t
end

8.5.20 VOLATILE attribute
15 A pointer should have the VOLATILE attribute if its target has the VOLATILE attribute.

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Asher Mancinelli (ashermancinelli)

From offline discussion, this looks to be a bug. Flang compiles this with no warnings.

integer,pointer::p
integer,target,volatile::t
p=>t
end

> 8.5.20 VOLATILE attribute
> 15 A pointer should have the VOLATILE attribute if its target has the VOLATILE attribute.

[klausler]

Please add a warning to flang/lib/Semantics/pointer-assignment.cpp.