squiid/llvm
1
0
Fork 0
Code Issues Pull requests Activity

[flang] GetBaseObject()

Browse source 
Original-commit: flang-compiler/f18@38eced54de
Reviewed-on: https://github.com/flang-compiler/f18/pull/531
Tree-same-pre-rewrite: false
This commit is contained in:
peter klausler 2019-06-21 14:10:19 -07:00
parent f01537b146
commit c2b743122a
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
flang/lib/evaluate/tools.h
View file

@ -644,6 +644,26 @@ template<typename A> semantics::Attrs GetAttrs(const A &x) {
}
}
// GetBaseObject()
template<typename A> std::optional<BaseObject> GetBaseObject(const A &) {
return std::nullopt;
}
template<typename T>
std::optional<BaseObject> GetBaseObject(const Designator<T> &x) {
return x.GetBaseObject();
}
template<typename T> std::optional<BaseObject> GetBaseObject(const Expr<T> &x) {
return std::visit([](const auto &y) { return GetBaseObject(y); }, x.u);
}
template<typename A>
std::optional<BaseObject> GetBaseObject(const std::optional<A> &x) {
if (x.has_value()) {
return GetBaseObject(*x);
} else {
return std::nullopt;
}
}
// Predicate: IsAllocatableOrPointer()
template<typename A> bool IsAllocatableOrPointer(const A &x) {
return GetAttrs(x).HasAny(