cprover
|
Linking: Zero Initialization. More...
#include <util/expr.h>
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 &) |
Linking: Zero Initialization.
Definition in file zero_initializer.h.
exprt zero_initializer | ( | const typet & | , |
const source_locationt & | , | ||
const namespacet & | , | ||
message_handlert & | |||
) |
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 & | , |
const source_locationt & | , | ||
const namespacet & | |||
) |
Definition at line 323 of file zero_initializer.cpp.