Issue 135805
Summary [flang] Non-volatile pointer can point to volatile target
Labels flang:frontend
Assignees
Reporter 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.

_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to