func.location
← func dialect
Materialize immutable captured source provenance as a read-only buffer. The required postorder node array ends with the root location; children refer to earlier nodes. All captured data is semantic and survives debug stripping. This operation never reads its own debug annotation. Equal complete captures may share executable rodata.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
result |
buffer |
required |
— |
| Attribute |
nodes |
parameterized_array |
required |
— |
Examples
%site = func.location [#func.location.file<"example.cc", range = [12, 3, 12, 28]>] : buffer