26 if(op.type().id() == ID_struct)
50 if(parameters.size()>ops.size())
53 ops.reserve(parameters.size());
55 for(std::size_t i=ops.size(); i<parameters.size(); i++)
57 const exprt &default_value=
58 parameters[i].default_value();
63 ops.push_back(default_value);
66 else if(parameters.size()<ops.size())
73 exprt::operandst::iterator it=ops.begin();
74 for(
const auto ¶meter : parameters)
86 assert(it!=ops.end());
87 const exprt &operand=*it;
88 typet type=parameter.type();
93 std::cout <<
"O: " << operand.
pretty() <<
'\n';
100 if(it==ops.begin() && parameter.get(ID_C_base_name)==ID_this)
102 type.
set(ID_C_reference,
true);
103 type.
set(ID_C_this,
true);
117 operand, type, new_expr, rank))
122 std::cout <<
"OK " << rank <<
'\n';
126 operand.
id() == ID_initializer_list &&
cpp_typecheck.cpp_is_pod(type) &&
129 operand.
op0(), type, new_expr, rank))
136 std::cout <<
"NOT OK\n";
145 for( ; it!=ops.end(); ++it)