diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr b/lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr index ce923a1c88..a6ac6d64e4 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr +++ b/lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr @@ -3,6 +3,11 @@ bs_fail_constr.erl:11:1: Function w3/1 has no local return bs_fail_constr.erl:12:8: Binary construction will fail since the size field S in segment 42:S has type neg_integer() bs_fail_constr.erl:14:1: Function w4/1 has no local return bs_fail_constr.erl:15:5: Binary construction will fail since the value field V in segment V/utf32 has type float() +bs_fail_constr.erl:18:1: Function bad_size_1/1 has no local return +bs_fail_constr.erl:18:1: The pattern <<X:[]>> can never match the type any() +bs_fail_constr.erl:21:1: Function bad_size_2/1 has no local return +bs_fail_constr.erl:24:9: The pattern <<X:Size>> can never match the type any() +bs_fail_constr.erl:29:1: Function bad_size_3/1 has no local return bs_fail_constr.erl:5:1: Function w1/1 has no local return bs_fail_constr.erl:6:5: Binary construction will fail since the value field V in segment V has type float() bs_fail_constr.erl:8:1: Function w2/1 has no local return |