Skip to content

Commit

Permalink
Fixed frontend bug
Browse files Browse the repository at this point in the history
  • Loading branch information
leventeBajczi committed Nov 22, 2023
1 parent e53bf76 commit 8ba915a
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -646,7 +646,7 @@ class FrontendXcfaBuilder(val parseContext: ParseContext, val checkOverflow: Boo
val xcfaEdge: XcfaEdge = XcfaEdge(lastLoc, initLoc, metadata = getMetadata(statement))
builder.addEdge(xcfaEdge)
val endExpr = expr?.accept(this,
ParamPack(builder, initLoc, breakLoc, continueLoc, returnLoc)) ?: lastLoc
ParamPack(builder, initLoc, breakLoc, continueLoc, returnLoc)) ?: initLoc
val endLoc = getAnonymousLoc(builder, metadata = getMetadata(statement))
builder.addLoc(endLoc)
val key: VarDecl<*> = builder.getParams()[0].first
Expand Down

0 comments on commit 8ba915a

Please sign in to comment.