cprover
zero_initializer.cpp File Reference

Linking: Zero Initialization. More...

#include "zero_initializer.h"
#include <sstream>
#include <util/namespace.h>
#include <util/message.h>
#include <util/arith_tools.h>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/pointer_offset_size.h>
#include <util/c_types.h>
#include <ansi-c/expr2c.h>
Include dependency graph for zero_initializer.cpp:

Go to the source code of this file.

Classes

class  zero_initializert
 

Functions

exprt zero_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)
 

Detailed Description

Linking: Zero Initialization.

Definition in file zero_initializer.cpp.

Function Documentation

§ 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 323 of file zero_initializer.cpp.