File 3751-Remove-and-or-in-diaylzer.patch of Package erlang

From 5ae4f016416f8a2aa493993477babf8d513a4c68 Mon Sep 17 00:00:00 2001
From: Maria Scott <maria-12648430@hnc-agency.org>
Date: Tue, 17 Feb 2026 11:26:58 +0100
Subject: [PATCH] Remove and/or in diaylzer

---
 lib/dialyzer/src/dialyzer_dataflow.erl |  3 +--
 lib/dialyzer/src/dialyzer_utils.erl    | 10 ++++------
 lib/dialyzer/src/erl_types.erl         |  4 +---
 3 files changed, 6 insertions(+), 11 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index b220f9d9f1..5dd79e1df7 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -3648,7 +3647,7 @@ find_terminals_list(List) ->
 
 find_terminals_list([Tree|Left], Explicit1, Normal1) ->
   {Explicit2, Normal2} = find_terminals(Tree),
-  case {Explicit1 or Explicit2, Normal1 or Normal2} of
+  case {Explicit1 orelse Explicit2, Normal1 orelse Normal2} of
     {true, true} = Ans -> Ans;
     {NewExplicit, NewNormal} ->
       find_terminals_list(Left, NewExplicit, NewNormal)
diff --git a/lib/dialyzer/src/dialyzer_utils.erl b/lib/dialyzer/src/dialyzer_utils.erl
index 4e4880d6be..bac3ee50f5 100644
--- a/lib/dialyzer/src/dialyzer_utils.erl
+++ b/lib/dialyzer/src/dialyzer_utils.erl
@@ -560,7 +558,7 @@ get_optional_callbacks(Tuples, ModName) ->
 
 get_spec_info([{Contract, Ln, [{Id, TypeSpec}]}|Left],
 	      SpecMap, CallbackMap, RecordsMap, ModName, OptCb, File)
-  when ((Contract =:= 'spec') or (Contract =:= 'callback')),
+  when Contract =:= 'spec' orelse Contract =:= 'callback',
        is_list(TypeSpec) ->
   MFA = case Id of
 	  {_, _, _} = T -> T;
@@ -1026,11 +1024,11 @@ pp_flags([Flag|Flags]) ->
 				  pp_flags(Flags))).
 
 keep_endian(Flags) ->
-  [cerl:c_atom(X) || X <- Flags, (X =:= little) or (X =:= native)].
+  [cerl:c_atom(X) || X <- Flags, X =:= little orelse X =:= native].
 
 keep_all(Flags) ->
   [cerl:c_atom(X) || X <- Flags,
-		     (X =:= little) or (X =:= native) or (X =:= signed)].
+		     X =:= little orelse X =:= native orelse X =:= signed].
 
 pp_unit(Unit, Ctxt, Cont) ->
   case cerl:concrete(Unit) of
@@ -1164,7 +1162,7 @@ refold_concrete_pat(Val) ->
     [H|T] ->
       HP = refold_concrete_pat(H),
       TP = refold_concrete_pat(T),
-      case  cerl:is_literal(HP) and cerl:is_literal(TP) of
+      case cerl:is_literal(HP) andalso cerl:is_literal(TP) of
 	true -> cerl:abstract(Val);
 	false -> label(cerl:c_cons_skel(HP, TP))
       end;
diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl
index 593da16c6b..c74b56f748 100644
--- a/lib/dialyzer/src/erl_types.erl
+++ b/lib/dialyzer/src/erl_types.erl
@@ -3292,7 +3290,7 @@ t_subtract_aux(?int_range(From, To) = T1, ?int_set(Set)) ->
 	    true -> To - 1;
 	    false -> To
 	  end,
-  if (NewFrom =:= From) and (NewTo =:= To) -> T1;
+  if NewFrom =:= From, NewTo =:= To -> T1;
      true -> t_from_range(NewFrom, NewTo)
   end;
 t_subtract(?int_set(Set), ?int_range(From, To)) ->
-- 
2.51.0