From 1d03a7b3b6b706e80af5757930e6342c56c01c9e Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Tue, 2 Jul 2019 11:09:16 -0700 Subject: [PATCH] [base] update ParsedIte/ParsedBranch reference in comment. --- base/src/Data/Macaw/Discovery.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/src/Data/Macaw/Discovery.hs b/base/src/Data/Macaw/Discovery.hs index ab9aba82..a9bb95f6 100644 --- a/base/src/Data/Macaw/Discovery.hs +++ b/base/src/Data/Macaw/Discovery.hs @@ -962,7 +962,7 @@ parseFetchAndExecute ctx initRegs stmts initAbsState finalRegs = do withArchConstraints ainfo $ do -- Try to figure out what control flow statement we have. case () of - -- The block ends with a Mux, so we turn this into a `ParsedIte` statement. + -- The block ends with a Mux, so we turn this into a `ParsedBranch` statement. _ | Just (Mux _ c t f) <- valueAsApp (finalRegs^.boundValue ip_reg) , Just trueTgtAddr <- valueAsSegmentOff mem t -- Check that true branch is an allowed intra-procedural branch target