andersent::indirect_callt Struct Reference

A call through a function pointer. More...

#include <andersen.h>

Public Attributes
node_id	function
	node of the callee pointer
expr2tc	ret
std::vector< expr2tc >	arguments
unsigned	location_number
std::set< irep_idt >	bound
	callees already lowered
bool	widened = false
	conservative fallback already emitted

Detailed Description

A call through a function pointer.

Its targets are only known once the pointer's own set has been solved, so it is recorded here and lowered later by resolve_indirect_calls.

Member Data Documentation

arguments

std::vector<expr2tc> andersent::indirect_callt::arguments

bound

std::set<irep_idt> andersent::indirect_callt::bound

callees already lowered

function

node_id andersent::indirect_callt::function

node of the callee pointer

location_number

unsigned andersent::indirect_callt::location_number

ret

expr2tc andersent::indirect_callt::ret

widened

bool andersent::indirect_callt::widened = false

conservative fallback already emitted

---

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

• src/pointer-analysis/andersen.h