diff options
author | Björn Gustavsson <[email protected]> | 2019-08-02 10:40:34 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2019-08-02 10:40:34 +0200 |
commit | 5360ede343cc21df7bfcf2291666a99cfc64b866 (patch) | |
tree | e1f3eebe88c37672d7f72122d61ce2900f60c691 /lib/compiler/src | |
parent | e1a2c49be73a8bafdae0aabb32d83c3e9a64c652 (diff) | |
parent | bce995b034452abe200edc2381bc313ff12a0f2f (diff) | |
download | otp-5360ede343cc21df7bfcf2291666a99cfc64b866.tar.gz otp-5360ede343cc21df7bfcf2291666a99cfc64b866.tar.bz2 otp-5360ede343cc21df7bfcf2291666a99cfc64b866.zip |
Merge branch 'bjorn/compiler/length-misuse/ERL-1013' of https://github.com/bjorng/otp into maint
OTP-15970
* 'bjorn/compiler/length-misuse/ERL-1013' of https://github.com/bjorng/otp:
Eliminate a crash in the type optimizer pass
Diffstat (limited to 'lib/compiler/src')
-rw-r--r-- | lib/compiler/src/beam_ssa_type.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_ssa_type.erl b/lib/compiler/src/beam_ssa_type.erl index 68920e7dd3..3c06c83e2e 100644 --- a/lib/compiler/src/beam_ssa_type.erl +++ b/lib/compiler/src/beam_ssa_type.erl @@ -160,6 +160,10 @@ opt_finish_1([Arg | Args], [TypeMap | TypeMaps], ParamInfo0) -> case join(maps:values(TypeMap)) of any -> opt_finish_1(Args, TypeMaps, ParamInfo0); + none -> + %% This function will never be called. Pretend that we don't + %% know the type for this argument. + opt_finish_1(Args, TypeMaps, ParamInfo0); JoinedType -> JoinedType = verified_type(JoinedType), ParamInfo = ParamInfo0#{ Arg => validator_anno(JoinedType) }, |