cprover
expr_initializer.cpp File Reference

Expression Initialization. More...

#include "expr_initializer.h"
#include "arith_tools.h"
#include "c_types.h"
#include "format_expr.h"
#include "format_type.h"
#include "invariant.h"
#include "message.h"
#include "namespace.h"
#include "pointer_offset_size.h"
#include "std_code.h"
#include "std_expr.h"
Include dependency graph for expr_initializer.cpp:

Go to the source code of this file.

Classes

class  expr_initializert< nondet >
 

Functions

exprt zero_initializer (const typet &type, const source_locationt &source_location, const namespacet &ns, message_handlert &message_handler)
 
exprt nondet_initializer (const typet &type, const source_locationt &source_location, const namespacet &ns, message_handlert &message_handler)
 
exprt zero_initializer (const typet &type, const source_locationt &source_location, const namespacet &ns)
 
exprt nondet_initializer (const typet &type, const source_locationt &source_location, const namespacet &ns)
 

Detailed Description

Expression Initialization.

Definition in file expr_initializer.cpp.

Function Documentation

◆ nondet_initializer() [1/2]

exprt nondet_initializer ( const typet type,
const source_locationt source_location,
const namespacet ns,
message_handlert message_handler 
)

Definition at line 354 of file expr_initializer.cpp.

References message_handler.

◆ nondet_initializer() [2/2]

exprt nondet_initializer ( const typet type,
const source_locationt source_location,
const namespacet ns 
)

Definition at line 383 of file expr_initializer.cpp.

◆ zero_initializer() [1/2]

◆ zero_initializer() [2/2]

exprt zero_initializer ( const typet type,
const source_locationt source_location,
const namespacet ns 
)

Definition at line 364 of file expr_initializer.cpp.