File: BigBinaryExpr.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26
file content (111 lines) | stat: -rw-r--r-- 2,886 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
class BigBinaryExpr {
    void test() {
        int i0 = 163;
        int i1 = 153;
        int i2 = 75;
        int i3 = -72;
        int i4 = 61;
        int i5 = 7;
        int i6 = 83;
        int i7 = -36;
        int i8 = -90;
        int i9 = -93;
        int i10 = 187;
        int i11 = -76;
        int i12 = -16;
        int i13 = -99;
        int i14 = 113;
        int i15 = 72;
        int i16 = 58;
        int i17 = -97;
        int i18 = 115;
        int i19 = -85;
        int i20 = 156;
        int i21 = -10;
        int i22 = -85;
        int i23 = 81;
        int i24 = 63;
        int i25 = -49;
        int i26 = 158;
        int i27 = 158;
        int i28 = 25;
        int i29 = 136;
        int i30 = -90;
        int i31 = 115;
        int i32 = 179;
        int i33 = 11;
        int i34 = -100;
        int i35 = 70;
        int i36 = -46;
        int i37 = -56;
        int i38 = 108;
        int i39 = -41;
        int i40 = 124;
        int i41 = -88;
        int i42 = 54;
        int i43 = 117;
        int i44 = -92;
        int i45 = 7;
        int i46 = -94;
        int i47 = 162;
        int i48 = -34;
        int i49 = 104;
        int i50 = 111;
        int i51 = -16;
        int i52 = 197;
        int i53 = -8;
        int i54 = 101;
        int i55 = 96;
        int i56 = 132;
        int i57 = -36;
        int i58 = 148;
        int i59 = 43;
        int i60 = -59;
        int i61 = 150;
        int i62 = 48;
        int i63 = 130;
        int i64 = 74;
        int i65 = -1;
        int i66 = 79;
        int i67 = 109;
        int i68 = -70;
        int i69 = 111;
        int i70 = 78;
        int i71 = 155;
        int i72 = 176;
        int i73 = 80;
        int i74 = 181;
        int i75 = 41;
        int i76 = -85;
        int i77 = 189;
        int i78 = 97;
        int i79 = 139;
        int i80 = 9;
        int i81 = 42;
        int i82 = -50;
        int i83 = 82;
        int i84 = -70;
        int i85 = 162;
        int i86 = -20;
        int i87 = 52;
        int i88 = -94;
        int i89 = 133;
        int i90 = 136;
        int i91 = 129;
        int i92 = -55;
        int i93 = 153;
        int i94 = 6;
        int i95 = -18;
        int i96 = 132;
        int i97 = 45;
        int i98 = 120;
        int i99 = 60;
        // int result = i0 +i1 +i2 +i3 +i4 +i5 +i6 +i7 +i8 +i9 +i10 +i11 +i12 +i13 +i14 +i15 +i16
        // +i17 +i18 +i19 +i20 +i21 +i22 +i23 +i24 +i25 +i26 +i27 +i28 +i29 +i30 +i31 +i32 +i33 +i34
        // +i35 +i36 +i37 +i38 +i39 +i40 +i41 +i42 +i43 +i44 +i45 +i46 +i47 +i48 +i49 +i50 +i51 +i52
        // +i53 +i54 +i55 +i56 +i57 +i58 +i59 +i60 +i61 +i62 +i63 +i64 +i65 +i66 +i67 +i68 +i69 +i70
        // +i71 +i72 +i73 +i74 +i75 +i76 +i77 +i78 +i79 +i80 +i81 +i82 +i83 +i84 +i85 +i86 +i87 +i88
        // +i89 +i90 +i91 +i92 +i93 +i94 +i95 +i96 +i97 +i98 +i99;
    }
}
// a comment