fixup! compiler: Add support for debug information in BEAM files

bjorng · Nov 12, 2024 · ea6f5d6 · ea6f5d6
1 parent 025d308
commit ea6f5d6
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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})