We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fc02354 commit 04aff7cCopy full SHA for 04aff7c
src/util/std_expr.cpp
@@ -165,18 +165,6 @@ extractbits_exprt::extractbits_exprt(
165
lower()=from_integer(_lower, integer_typet());
166
}
167
168
-/*******************************************************************\
169
-
170
-Function: address_of_exprt::address_of_exprt
171
172
- Inputs:
173
174
- Outputs:
175
176
- Purpose:
177
178
-\*******************************************************************/
179
180
address_of_exprt::address_of_exprt(const exprt &_op):
181
unary_exprt(ID_address_of, _op, pointer_type(_op.type()))
182
{
0 commit comments