Skip to content

Commit 5ef19c8

Browse files
authored
Merge pull request #8403 from tautschnig/fix-dfcc-typedef
Contracts/dynamic frames: do not attempt to instrument typedefs
2 parents b335979 + 6a37de3 commit 5ef19c8

File tree

1 file changed

+1
-1
lines changed
  • src/goto-instrument/contracts/dynamic-frames

1 file changed

+1
-1
lines changed

src/goto-instrument/contracts/dynamic-frames/dfcc.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -265,7 +265,7 @@ void dfcct::partition_function_symbols(
265265
const symbolt &symbol = entry.second;
266266

267267
// not a function symbol
268-
if(symbol.type.id() != ID_code)
268+
if(symbol.type.id() != ID_code || symbol.is_macro)
269269
continue;
270270

271271
// is it a pure contract ?

0 commit comments

Comments
 (0)