FLANG
Public Attributes | List of all members
fir::AliasAnalysis::Source::SourceOrigin Struct Reference

Public Attributes

SourceUnion u
 Source definition of a value.
 
mlir::Operation * instantiationPoint
 
bool isData {false}
 Whether the source was reached following data or box reference.
 

Member Data Documentation

◆ instantiationPoint

mlir::Operation* fir::AliasAnalysis::Source::SourceOrigin::instantiationPoint

A value definition denoting the place where the corresponding source variable was instantiated by the front-end. Currently, it is the result of [hl]fir.declare of the source, if we can reach it. It helps to identify the scope where the corresponding variable was defined in the original Fortran source, e.g. when MLIR inlining happens an inlined fir.declare of the callee's dummy argument identifies the scope where the source may be treated as a dummy argument.


The documentation for this struct was generated from the following file: