Skip to content

Commit 8eab28e

Browse files
Some cleanup
1 parent ea73a26 commit 8eab28e

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/goto-symex/symex_builtin_functions.cpp

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -404,7 +404,6 @@ void goto_symext::symex_cpp_new(
404404
else
405405
symbol.type=code.type().subtype();
406406

407-
// symbol.type.set("#active", symbol_expr(active_symbol));
408407
symbol.type.set("#dynamic", true);
409408

410409
new_symbol_table.add(symbol);
@@ -432,7 +431,10 @@ void goto_symext::symex_cpp_delete(
432431
statet &state,
433432
const codet &code)
434433
{
435-
// bool do_array=code.get(ID_statement)==ID_cpp_delete_array;
434+
// TODO
435+
#if 0
436+
bool do_array=code.get(ID_statement)==ID_cpp_delete_array;
437+
#endif
436438
}
437439

438440
void goto_symext::symex_trace(

0 commit comments

Comments
 (0)