Aleph::Compiler_Dataflow_Uninitialized_Read Struct Reference

One definite-assignment finding for an uninitialized local read. More...

#include <Compiler_Dataflow.H>

Collaboration diagram for Aleph::Compiler_Dataflow_Uninitialized_Read:

Public Attributes
Compiler_IR_Block_Id	block_id = compiler_ir_invalid_id()
	Block containing the read.
size_t	instruction_index = 0
	Zero-based instruction index inside the block.
Compiler_IR_Local_Slot_Id	slot_id = compiler_ir_invalid_id()
	Read local slot.
Source_Span	span
	Source span associated with the load.

Detailed Description

One definite-assignment finding for an uninitialized local read.

Definition at line 183 of file Compiler_Dataflow.H.

Member Data Documentation

block_id

Compiler_IR_Block_Id Aleph::Compiler_Dataflow_Uninitialized_Read::block_id = compiler_ir_invalid_id()

Block containing the read.

Definition at line 185 of file Compiler_Dataflow.H.

instruction_index

size_t Aleph::Compiler_Dataflow_Uninitialized_Read::instruction_index = 0

Zero-based instruction index inside the block.

Definition at line 186 of file Compiler_Dataflow.H.

slot_id

Compiler_IR_Local_Slot_Id Aleph::Compiler_Dataflow_Uninitialized_Read::slot_id = compiler_ir_invalid_id()

Read local slot.

Definition at line 187 of file Compiler_Dataflow.H.

span

Source_Span Aleph::Compiler_Dataflow_Uninitialized_Read::span

Source span associated with the load.

Definition at line 188 of file Compiler_Dataflow.H.

---

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

• Compiler_Dataflow.H