cprover
add_failed_symbols.h File Reference

Pointer Dereferencing. More...

#include <util/irep.h>
Include dependency graph for add_failed_symbols.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void add_failed_symbols (symbol_tablet &symbol_table)
 
irep_idt failed_symbol_id (const irep_idt &identifier)
 
exprt get_failed_symbol (const symbol_exprt &expr, const namespacet &ns)
 

Detailed Description

Pointer Dereferencing.

Definition in file add_failed_symbols.h.

Function Documentation

§ add_failed_symbols()

§ failed_symbol_id()

irep_idt failed_symbol_id ( const irep_idt identifier)

Definition at line 18 of file add_failed_symbols.cpp.

References id2string().

Referenced by add_failed_symbol(), and get_failed_symbol().

§ get_failed_symbol()