From e656cc1a0f21d52631a9af2b16cc077d07815612 Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Wed, 19 Jun 2024 18:59:35 +0300 Subject: [PATCH] Remove unused checkNoBreak visitors --- src/util/loopUnrolling.ml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml index 6f4f22a5a3..2ad300f717 100644 --- a/src/util/loopUnrolling.ml +++ b/src/util/loopUnrolling.ml @@ -31,14 +31,6 @@ class checkNoBreakVisitor = object end -let checkNoBreakStmt stmt = - let visitor = new checkNoBreakVisitor in - ignore @@ visitCilStmt visitor stmt - -let checkNoBreakBlock block = - let visitor = new checkNoBreakVisitor in - ignore @@ visitCilBlock visitor block - class findBreakVisitor(compOption: exp option ref) = object inherit nopCilVisitor