diff --git a/lib/compiler/src/beam_ssa_alias.erl b/lib/compiler/src/beam_ssa_alias.erl
index e5e79b8e2eb4..26aaea87fc3d 100644
--- a/lib/compiler/src/beam_ssa_alias.erl
+++ b/lib/compiler/src/beam_ssa_alias.erl
@@ -610,6 +610,8 @@ aa_is([_I=#b_set{dst=Dst,op=Op,args=Args,anno=Anno0}|Is], SS0,
                 {SS0, AAS0};
             bs_test_tail ->
                 {SS0, AAS0};
+            debug_line ->
+                {SS0, AAS0};
             executable_line ->
                 {SS0, AAS0};
             has_map_field ->
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index 91879198b1c8..4b4428089be3 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -1013,6 +1013,8 @@ handle_primop(Tree, Map, State) ->
       {State, Map, t_any()};
     nif_start ->
       {State, Map, t_any()};
+    debug_line ->
+      {State, Map, t_any()};
     executable_line ->
       {State, Map, t_any()};
     Other ->
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index 1a4853cb239b..0ea33ac05f51 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -438,6 +438,8 @@ traverse(Tree, DefinedVars, State) ->
           {State, t_any()};
         nif_start ->
           {State, t_any()};
+        debug_line ->
+          {State, t_any()};
         executable_line ->
           {State, t_any()};
 	Other -> erlang:error({'Unsupported primop', Other})