From ddfcaea7430c74b08103b243f19ec07305a1d422 Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Mon, 13 Nov 2023 15:34:34 +0100 Subject: [PATCH] Rename x to loop_counter. --- src/analyses/loopTermination.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/analyses/loopTermination.ml b/src/analyses/loopTermination.ml index 5fac2e9e1a..10e0f5c5f4 100644 --- a/src/analyses/loopTermination.ml +++ b/src/analyses/loopTermination.ml @@ -48,10 +48,10 @@ struct let special ctx (lval : lval option) (f : varinfo) (arglist : exp list) = if !AnalysisState.postsolving then match f.vname, arglist with - "__goblint_bounded", [Lval (Var x, NoOffset)] -> + "__goblint_bounded", [Lval (Var loop_counter, NoOffset)] -> (try - let loop_statement = find_loop ~loop_counter:x in - let is_bounded = check_bounded ctx x in + let loop_statement = find_loop ~loop_counter in + let is_bounded = check_bounded ctx loop_counter in ctx.sideg () (G.add (`Lifted loop_statement) is_bounded (ctx.global ())); (* In case the loop is not bounded, a warning is created. *) if not (is_bounded) then (