← Back to branch summary

~clint-fewbar/ubuntu/precise/erlang/merge-15b

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/small_SUITE_data/results/guard_warnings

  • Committer: Package Import Robot
  • Author(s): Sergei Golovan
  • Date: 2011-12-15 19:20:10 UTC
  • mfrom: (1.1.18) (3.5.15 sid)
  • mto: (3.5.16 sid)
  • mto: This revision was merged to the branch mainline in revision 33.
  • Revision ID: package-import@ubuntu.com-20111215192010-jnxcfe3tbrpp0big
Tags: 1:15.b-dfsg-1
* New upstream release.
* Upload to experimental because this release breaks external drivers
  API along with ABI, so several applications are to be fixed.
* Removed SSL patch because the old SSL implementation is removed from
  the upstream distribution.
* Removed never used patch which added native code to erlang beam files.
* Removed the erlang-docbuilder binary package because the docbuilder
  application was dropped by upstream.
* Documented dropping ${erlang-docbuilder:Depends} substvar in
  erlang-depends(1) manpage.
* Made erlang-base and erlang-base-hipe provide virtual package
  erlang-abi-15.b (the number means the first erlang version, which
  provides current ABI).

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/test/small_SUITE_data/results/guard_warnings
 
1
 
 
2
guard_warnings.erl:100: Function test45/0 has no local return
 
3
guard_warnings.erl:100: Guard test 'not'('true') can never succeed
 
4
guard_warnings.erl:102: Function test46/1 has no local return
 
5
guard_warnings.erl:102: Guard test X::'true' =:= 'false' can never succeed
 
6
guard_warnings.erl:104: Function test47/1 has no local return
 
7
guard_warnings.erl:104: Guard test X::'true' == 'false' can never succeed
 
8
guard_warnings.erl:106: Function test48/1 has no local return
 
9
guard_warnings.erl:106: Guard test X::'true' =/= 'true' can never succeed
 
10
guard_warnings.erl:114: Function test52_w/1 has no local return
 
11
guard_warnings.erl:118: Function test54_w/1 has no local return
 
12
guard_warnings.erl:12: Function test1/1 has no local return
 
13
guard_warnings.erl:12: Guard test X::'true' =:= 'false' can never succeed
 
14
guard_warnings.erl:14: Function test2/1 has no local return
 
15
guard_warnings.erl:14: Guard test X::'false' =:= 'true' can never succeed
 
16
guard_warnings.erl:16: Function test3/1 has no local return
 
17
guard_warnings.erl:16: Guard test 'not'(X::'true') can never succeed
 
18
guard_warnings.erl:18: Function test4/1 has no local return
 
19
guard_warnings.erl:18: Guard test 'and'('true',X::none()) can never succeed
 
20
guard_warnings.erl:20: Function test5/1 has no local return
 
21
guard_warnings.erl:20: Guard test 'not'(X::'true') can never succeed
 
22
guard_warnings.erl:22: Function test6/1 has no local return
 
23
guard_warnings.erl:22: Guard test 'and'('true',X::none()) can never succeed
 
24
guard_warnings.erl:24: Function test7_w/1 has no local return
 
25
guard_warnings.erl:26: Function test8_w/1 has no local return
 
26
guard_warnings.erl:28: Function test9/1 has no local return
 
27
guard_warnings.erl:28: Guard test not('not'(X::'false')) can never succeed
 
28
guard_warnings.erl:30: Function test10/1 has no local return
 
29
guard_warnings.erl:30: Guard test not('or'('false',X::none())) can never succeed
 
30
guard_warnings.erl:32: Function test11/1 has no local return
 
31
guard_warnings.erl:32: Guard test not('not'(X::'false')) can never succeed
 
32
guard_warnings.erl:34: Function test12/1 has no local return
 
33
guard_warnings.erl:34: Guard test not('or'('false',X::none())) can never succeed
 
34
guard_warnings.erl:36: Function test13/1 has no local return
 
35
guard_warnings.erl:36: Guard test 'and'('true','false') can never succeed
 
36
guard_warnings.erl:38: Function test14/1 has no local return
 
37
guard_warnings.erl:38: Guard test 'and'('false',any()) can never succeed
 
38
guard_warnings.erl:40: Function test15/1 has no local return
 
39
guard_warnings.erl:40: Guard test 'and'(X::'true','false') can never succeed
 
40
guard_warnings.erl:42: Function test16/1 has no local return
 
41
guard_warnings.erl:42: Guard test 'and'('false',X::any()) can never succeed
 
42
guard_warnings.erl:44: Function test17/1 has no local return
 
43
guard_warnings.erl:44: Guard test 'and'(X::'true','false') can never succeed
 
44
guard_warnings.erl:46: Function test18/1 has no local return
 
45
guard_warnings.erl:46: Guard test 'and'('false',X::any()) can never succeed
 
46
guard_warnings.erl:48: Function test19/1 has no local return
 
47
guard_warnings.erl:48: Guard test not('or'('true',any())) can never succeed
 
48
guard_warnings.erl:50: Function test20/1 has no local return
 
49
guard_warnings.erl:50: Guard test not('or'('false','true')) can never succeed
 
50
guard_warnings.erl:52: Function test21/1 has no local return
 
51
guard_warnings.erl:52: Guard test not('or'('true',X::any())) can never succeed
 
52
guard_warnings.erl:54: Function test22/1 has no local return
 
53
guard_warnings.erl:54: Guard test not('or'(X::'false','true')) can never succeed
 
54
guard_warnings.erl:56: Function test23/1 has no local return
 
55
guard_warnings.erl:56: Guard test not('or'('true',X::any())) can never succeed
 
56
guard_warnings.erl:58: Function test24/1 has no local return
 
57
guard_warnings.erl:58: Guard test not('or'(X::'false','true')) can never succeed
 
58
guard_warnings.erl:60: Function test25/1 has no local return
 
59
guard_warnings.erl:60: Guard test 'and'('false',any()) can never succeed
 
60
guard_warnings.erl:62: Function test26/1 has no local return
 
61
guard_warnings.erl:62: Guard test 'and'('true','false') can never succeed
 
62
guard_warnings.erl:64: Function test27/1 has no local return
 
63
guard_warnings.erl:64: Guard test 'and'('false',X::any()) can never succeed
 
64
guard_warnings.erl:66: Function test28/1 has no local return
 
65
guard_warnings.erl:66: Guard test 'and'(X::'true','false') can never succeed
 
66
guard_warnings.erl:68: Function test29/1 has no local return
 
67
guard_warnings.erl:68: Guard test 'and'('false',X::any()) can never succeed
 
68
guard_warnings.erl:70: Function test30/1 has no local return
 
69
guard_warnings.erl:70: Guard test 'and'(X::'true','false') can never succeed
 
70
guard_warnings.erl:72: Function test31/0 has no local return
 
71
guard_warnings.erl:72: Guard test 'and'('false',any()) can never succeed
 
72
guard_warnings.erl:74: Function test32/0 has no local return
 
73
guard_warnings.erl:74: Guard test 'and'('false',any()) can never succeed
 
74
guard_warnings.erl:76: Function test33/0 has no local return
 
75
guard_warnings.erl:76: Guard test not('and'('true','true')) can never succeed
 
76
guard_warnings.erl:78: Function test34/0 has no local return
 
77
guard_warnings.erl:78: Guard test 'and'('false',any()) can never succeed
 
78
guard_warnings.erl:80: Function test35/0 has no local return
 
79
guard_warnings.erl:80: Guard test not('and'('true','true')) can never succeed
 
80
guard_warnings.erl:82: Function test36/0 has no local return
 
81
guard_warnings.erl:82: Guard test 'or'('false','false') can never succeed
 
82
guard_warnings.erl:84: Function test37/0 has no local return
 
83
guard_warnings.erl:84: Guard test 'or'('false','false') can never succeed
 
84
guard_warnings.erl:86: Function test38/0 has no local return
 
85
guard_warnings.erl:86: Guard test 'or'('false','false') can never succeed
 
86
guard_warnings.erl:88: Function test39/0 has no local return
 
87
guard_warnings.erl:88: Guard test 'or'('false','false') can never succeed
 
88
guard_warnings.erl:90: Function test40/0 has no local return
 
89
guard_warnings.erl:90: Guard test 'or'('false','false') can never succeed
 
90
guard_warnings.erl:92: Function test41/0 has no local return
 
91
guard_warnings.erl:92: Guard test 'true' =:= 'false' can never succeed
 
92
guard_warnings.erl:94: Function test42/0 has no local return
 
93
guard_warnings.erl:94: Guard test 'true' == 'false' can never succeed
 
94
guard_warnings.erl:96: Function test43/0 has no local return
 
95
guard_warnings.erl:96: Guard test 'true' =:= 'false' can never succeed
 
96
guard_warnings.erl:98: Function test44/0 has no local return
 
97
guard_warnings.erl:98: Guard test not('true' == 'true') can never succeed