Change attributes for DBGLOC instruction

This commit is contained in:
Gaith Hallak 2022-11-17 17:18:35 +03:00
parent 354e49c5d3
commit db3f63529d

View File

@ -950,7 +950,7 @@ attributes(I) ->
loop -> Impure(pc, []); loop -> Impure(pc, []);
switch_body -> Pure(none, []); switch_body -> Pure(none, []);
'RETURN' -> Impure(pc, []); 'RETURN' -> Impure(pc, []);
{'DBGLOC', _, _} -> Impure(pc, []); {'DBGLOC', _, _} -> Pure(none, []);
{'RETURNR', A} -> Impure(pc, A); {'RETURNR', A} -> Impure(pc, A);
{'CALL', A} -> Impure(?a, [A]); {'CALL', A} -> Impure(?a, [A]);
{'CALL_R', A, _, B, C, D} -> Impure(?a, [A, B, C, D]); {'CALL_R', A, _, B, C, D} -> Impure(?a, [A, B, C, D]);