[Parser] handle AlarmDivIOExp

prosyslab · Apr 25, 2024 · 835be3c · 835be3c
1 parent dd3bf3c
commit 835be3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/parser.ml b/src/parser.ml
@@ -272,7 +272,7 @@ let get_alarm_comps alarm splited filename =
   | "AlarmAllocSize", a :: e :: lvs
   | "AlarmDerefExp", a :: e :: lvs
   | "AlarmPrintf", a :: e :: lvs
-  | "AlarmDivExp", a :: _ :: e :: lvs
+  | ("AlarmDivExp" | "AlarmDivIOExp"), a :: _ :: e :: lvs
   | ("AlarmCastExp" | "AlarmCastIOExp"), a :: e :: lvs
   | "AlarmFread", a :: _ :: e :: lvs
     when String.equal a alarm ->