Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Attributes | List of all members
SVF::SVFIRBuilder::AggregateCall Struct Reference

Continuation and field nodes for one call; see the example above. More...

Public Attributes

const Instruction * continuation
 
std::map< AggregateField, AggregateCallField > fields
 

Detailed Description

Continuation and field nodes for one call; see the example above.

Definition at line 130 of file SVFIRBuilder.h.

Member Data Documentation

◆ continuation

const Instruction* SVF::SVFIRBuilder::AggregateCall::continuation

Definition at line 132 of file SVFIRBuilder.h.

◆ fields

std::map<AggregateField, AggregateCallField> SVF::SVFIRBuilder::AggregateCall::fields

Definition at line 133 of file SVFIRBuilder.h.


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