cprover
var_mapt::var_infot Struct Reference

#include <var_map.h>

Collaboration diagram for var_mapt::var_infot:
[legend]

Public Types

enum  { SHARED, THREAD_LOCAL, PROCEDURE_LOCAL }
 

Public Member Functions

bool is_shared () const
 
 var_infot ()
 
irep_idt ssa_identifier () const
 
symbol_exprt ssa_symbol () const
 
void increment_ssa_counter ()
 
void output (std::ostream &out) const
 

Public Attributes

enum var_mapt::var_infot:: { ... }  kind
 
unsigned number
 
irep_idt full_identifier
 
irep_idt symbol
 
irep_idt suffix
 
typet type
 
unsigned ssa_counter
 

Detailed Description

Definition at line 35 of file var_map.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
SHARED 
THREAD_LOCAL 
PROCEDURE_LOCAL 

Definition at line 37 of file var_map.h.

Constructor & Destructor Documentation

◆ var_infot()

var_mapt::var_infot::var_infot ( )
inline

Definition at line 55 of file var_map.h.

Member Function Documentation

◆ increment_ssa_counter()

void var_mapt::var_infot::increment_ssa_counter ( )
inline

Definition at line 69 of file var_map.h.

References ssa_counter.

Referenced by path_symext::assign_rec().

◆ is_shared()

bool var_mapt::var_infot::is_shared ( ) const
inline

Definition at line 39 of file var_map.h.

References kind, and SHARED.

Referenced by path_symex_statet::get_var_state(), and var_mapt::init().

◆ output()

void var_mapt::var_infot::output ( std::ostream &  out) const

◆ ssa_identifier()

irep_idt var_mapt::var_infot::ssa_identifier ( ) const

Definition at line 111 of file var_map.cpp.

References id2string().

Referenced by ssa_symbol().

◆ ssa_symbol()

symbol_exprt var_mapt::var_infot::ssa_symbol ( ) const
inline

Member Data Documentation

◆ full_identifier

◆ kind

enum { ... } var_mapt::var_infot::kind

Referenced by var_mapt::init(), is_shared(), and output().

◆ number

unsigned var_mapt::var_infot::number

Definition at line 45 of file var_map.h.

Referenced by path_symex_statet::get_var_state(), var_mapt::init(), and output().

◆ ssa_counter

unsigned var_mapt::var_infot::ssa_counter

Definition at line 53 of file var_map.h.

Referenced by increment_ssa_counter().

◆ suffix

irep_idt var_mapt::var_infot::suffix

Definition at line 48 of file var_map.h.

Referenced by output().

◆ symbol

irep_idt var_mapt::var_infot::symbol

Definition at line 48 of file var_map.h.

Referenced by var_mapt::init(), and output().

◆ type

typet var_mapt::var_infot::type

Definition at line 51 of file var_map.h.

Referenced by output(), and ssa_symbol().


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