cprover
zero_initializer.h File Reference

Linking: Zero Initialization. More...

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

Go to the source code of this file.

Functions

exprt zero_initializer (const typet &, const source_locationt &, const namespacet &, message_handlert &)
 
exprt zero_initializer (const typet &, const source_locationt &, const namespacet &)
 

Detailed Description

Linking: Zero Initialization.

Definition in file zero_initializer.h.

Function Documentation

§ zero_initializer() [1/2]

§ zero_initializer() [2/2]

exprt zero_initializer ( const typet ,
const source_locationt ,
const namespacet  
)

Definition at line 323 of file zero_initializer.cpp.