aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_type.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2018-01-10 11:34:45 +0100
committerBjörn Gustavsson <[email protected]>2018-01-10 11:34:45 +0100
commit24e83b0372c5a18d946711fccd0678a664f9635b (patch)
tree2e71285c071559dc881481ade1b2147cf71d170f /lib/compiler/src/beam_type.erl
parentfa906be49717c6686bf3b19ab3bcb8d45513590c (diff)
parentdf8499995b4994d3f85f4b80fc3c2cf941a99cdc (diff)
downloadotp-24e83b0372c5a18d946711fccd0678a664f9635b.tar.gz
otp-24e83b0372c5a18d946711fccd0678a664f9635b.tar.bz2
otp-24e83b0372c5a18d946711fccd0678a664f9635b.zip
Merge branch 'maint'
* maint: beam_validator: Strengthen validation of GC instructions
Diffstat (limited to 'lib/compiler/src/beam_type.erl')
-rw-r--r--lib/compiler/src/beam_type.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_type.erl b/lib/compiler/src/beam_type.erl
index e9f62a5765..d1f1076e17 100644
--- a/lib/compiler/src/beam_type.erl
+++ b/lib/compiler/src/beam_type.erl
@@ -350,6 +350,8 @@ flt_need_heap_2({set,_,_,get_list}, H, Fl) ->
{[],H,Fl};
flt_need_heap_2({set,_,_,{try_catch,_,_}}, H, Fl) ->
{[],H,Fl};
+flt_need_heap_2({set,_,_,init}, H, Fl) ->
+ {[],H,Fl};
%% All other instructions should cause the insertion of an allocation
%% instruction if needed.
flt_need_heap_2(_, H, Fl) ->