cprover
add_failed_symbols.cpp File Reference

Pointer Dereferencing. More...

#include "add_failed_symbols.h"
#include <util/symbol_table.h>
#include <util/namespace.h>
#include <util/std_expr.h>
Include dependency graph for add_failed_symbols.cpp:

Go to the source code of this file.

Functions

irep_idt failed_symbol_id (const irep_idt &id)
 
void add_failed_symbol (symbolt &symbol, symbol_tablet &symbol_table)
 
void add_failed_symbols (symbol_tablet &symbol_table)
 
exprt get_failed_symbol (const symbol_exprt &expr, const namespacet &ns)
 

Detailed Description

Pointer Dereferencing.

Definition in file add_failed_symbols.cpp.

Function Documentation

◆ add_failed_symbol()

◆ add_failed_symbols()

◆ failed_symbol_id()

irep_idt failed_symbol_id ( const irep_idt id)

Definition at line 18 of file add_failed_symbols.cpp.

References id2string().

Referenced by add_failed_symbol(), and get_failed_symbol().

◆ get_failed_symbol()