admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

SwitchManager constructor fixup

Browse Source
This commit is contained in:
Matteo Giordano
2021-05-31 16:56:17 +02:00
parent 5721a83d5f
commit 5c8ca2527a
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/Support/ProgramCounterHandler.cpp
+1
View File
@@ -511,6 +511,7 @@ public:
Default(Root->getDefaultDest()),
SetBlockType(SetBlockType) {
NewBlocksRegistry = nullptr;
// Get the switches of the the first MA. This is just in order to get a
// reference to their conditions
SwitchInst *EpochSwitch = Root;