summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/small_SUITE_data/results/bs_fail_constr
blob: 368c07a4e3c6e850f5e44890cfd04a629d176da5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

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: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
bs_fail_constr.erl:9:5: Binary construction will fail since the value field V in segment V/binary has type atom()