From 77312f35ca68f3ba221f9b475ce6a032379fcc2b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 3 May 2022 15:46:30 +0200
Subject: [PATCH] [kernel] AST diff: use existing function in Cil
---
src/kernel_services/ast_queries/ast_diff.ml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index 53819f3d4cb..447bc7500cb 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -1121,9 +1121,8 @@ and is_same_instr_list l l' env =
is_same_instr i i' env &&> is_same_instr_list tl tl'
and same_switch_labels l l' env =
- let is_switch_lab = function Label _ -> false | Case _ | Default _ -> true in
- let l = List.filter is_switch_lab l in
- let l' = List.filter is_switch_lab l' in
+ let l = List.filter Cil.is_case_label l in
+ let l' = List.filter Cil.is_case_label l' in
let is_same_label lab lab' =
match lab, lab' with
| (Label _ as l, _) | (_, (Label _ as l)) ->
--
GitLab