diff options
author | Magnus Lång <[email protected]> | 2016-03-02 14:55:25 +0100 |
---|---|---|
committer | Magnus Lång <[email protected]> | 2016-03-02 15:52:31 +0100 |
commit | c7cc7877e048eab4ee16169653d7cec51fe8a8df (patch) | |
tree | e6c7d752cd31354cc4951e47dc617d078db616f8 /lib/tools | |
parent | c3af7910226cabddcdfa1561b56127e71e3a2ee9 (diff) | |
download | otp-c7cc7877e048eab4ee16169653d7cec51fe8a8df.tar.gz otp-c7cc7877e048eab4ee16169653d7cec51fe8a8df.tar.bz2 otp-c7cc7877e048eab4ee16169653d7cec51fe8a8df.zip |
hipe: Fix crashing bugs when inlining FP ops
It was assumed in hipe_icode_fp:filter_map/3 that either all
predecessors would have an up-to-date ("assigned") tagged copy, or none
of them.
This is temporarily false during the fixpoint loop in
basic_floats:test_icode_type_crash_2/0, which exercises the
all_args_equal(Bindings) =:= true branch, that would previously
erroneously end up in the 'false' branch, which is what caused the crash
in that case.
This is likewise only temporarily false during the fixpoint loop in
basic_floats:test_icode_type_crash/0, but that case instead exercises
the 'false' branch, justifying the inclusion of both tests.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions