dhscanner-bitcode 1.0.16 → 1.0.17

raw patch · 2 files changed

+3/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• dhscanner-bitcode.cabal +1/−1
• src/Cfg.hs +2/−1

@@ -20,7 +20,7 @@     in mind. The commands resemble an abstract RISC-style assembley, motivated by keeping
     later-phases analyses as simple as possible.
 
-version:            1.0.16
+version:            1.0.17
 license:            GPL-3.0-only
 license-file:       LICENSE
 author:             OrenGitHub

@@ -69,7 +69,8 @@ parallelNormalCfgs :: Content -> Content -> Cfg
 parallelNormalCfgs cfg1 cfg2 = let
     s = mkNewEntry (entry cfg1)
-    t = mkNewExit (exit cfg2)
+    -- exit node shares the exact location of the if statement
+    t = mkNewExit (entry cfg2)
     c1 = Edge { from = s, to = entry cfg1 }
     c2 = Edge { from = s, to = entry cfg2 }
     c3 = Edge { from = exit cfg1, to = t }