ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-23 12:35:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

trace_recorder: fix build error with gcc 12

Browse Source 
Fixes #4843
This commit is contained in:
Christian Prochaska 2023-04-05 12:01:53 +02:00 committed by Christian Helmuth
parent db69104f1a
commit 4dc5426a45
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/gems/src/app/trace_recorder/monitor.cc
View File

@ -182,13 +182,13 @@ void Trace_recorder::Monitor::stop()
destroy(_alloc, &writer);
});
/* destroy buffer */
destroy(_alloc, &buf);
try {
/* detach buffer */
_trace.free(buf.subject_id());
} catch (Trace::Nonexistent_subject) { }
/* destroy buffer */
destroy(_alloc, &buf);
});
_trace_directory.destruct();