cprover
|
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>
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) |
Linking: Zero Initialization.
Definition in file zero_initializer.cpp.
exprt zero_initializer | ( | const typet & | type, |
const source_locationt & | source_location, | ||
const namespacet & | ns, | ||
message_handlert & | message_handler | ||
) |
Definition at line 313 of file zero_initializer.cpp.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_methodt::convert_instructions(), c_typecheck_baset::do_designated_initializer(), goto_convertt::do_function_call_symbol(), c_typecheck_baset::do_initializer_list(), c_typecheck_baset::do_initializer_rec(), goto_convertt::do_java_new(), goto_convertt::do_java_new_array(), static_lifetime_init(), goto_symext::symex_gcc_builtin_va_arg_next(), goto_symext::symex_start_thread(), path_symext::symex_va_arg_next(), java_bytecode_typecheckt::typecheck_expr_java_string_literal(), and c_typecheck_baset::typecheck_return().
exprt zero_initializer | ( | const typet & | type, |
const source_locationt & | source_location, | ||
const namespacet & | ns | ||
) |
Definition at line 323 of file zero_initializer.cpp.