cprover
const_function_pointer_propagationt::arg_stackt Class Reference
Inheritance diagram for const_function_pointer_propagationt::arg_stackt:
[legend]
Collaboration diagram for const_function_pointer_propagationt::arg_stackt:
[legend]

Public Member Functions

 arg_stackt (const_function_pointer_propagationt &_cfpp)
 
void add_args (const symbol_exprt &const_function, goto_programt::instructionst::iterator it)
 adds const pointers (instantiated here or propagated) passed as arguments in the map More...
 
void remove_args ()
 

Protected Attributes

const_function_pointer_propagationtcfpp
 

Detailed Description

Definition at line 117 of file propagate_const_function_pointers.cpp.

Constructor & Destructor Documentation

◆ arg_stackt()

const_function_pointer_propagationt::arg_stackt::arg_stackt ( const_function_pointer_propagationt _cfpp)
inlineexplicit

Definition at line 123 of file propagate_const_function_pointers.cpp.

Member Function Documentation

◆ add_args()

◆ remove_args()

void const_function_pointer_propagationt::arg_stackt::remove_args ( )

Member Data Documentation

◆ cfpp

const_function_pointer_propagationt& const_function_pointer_propagationt::arg_stackt::cfpp
protected

Definition at line 120 of file propagate_const_function_pointers.cpp.

Referenced by add_args().


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