Home
last modified time | relevance | path

Searched refs:get_kanno (Results 1 – 22 of 22) sorted by relevance

/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/
H A Dv3_life.erl55 get_kanno(Kthing) -> element(2, Kthing). function
74 Ka = get_kanno(Kb),
97 A = get_kanno(Ke),
104 A = get_kanno(Ke),
127 A = get_kanno(Ke),
133 A = get_kanno(Ke),
174 Ab = get_kanno(Kb),
175 Ah = get_kanno(Kh),
273 Bus = (get_kanno(Kb))#k.us,
286 i=I,vdb=use_vars((get_kanno(Kg))#k.us, I+2, Vdb1),
H A Dv3_kernel.erl91 get_kanno(Kthing) -> element(2, Kthing). function
211 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
822 case get_kanno(Ke) of
942 Anno = get_kanno(S),
1021 Anno = get_kanno(C),
1075 Anno = get_kanno(Tc),
1291 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
1402 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/src/
H A Dv3_codegen.erl35 get_kanno(Kthing) -> element(2, Kthing). function
123 A = get_kanno(Ke),
130 A = get_kanno(Ke),
165 Ab = get_kanno(Kb),
166 Ah = get_kanno(Kh),
184 Ab = get_kanno(Kb),
185 Ah = get_kanno(Kh),
268 New = (get_kanno(V))#k.ns,
269 Bus = (get_kanno(Kb))#k.us,
774 #l{i=I} = get_kanno(Ke),
[all …]
H A Dv3_kernel.erl94 get_kanno(Kthing) -> element(2, Kthing). function
97 Anno = get_kanno(Ksrc),
714 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1528 Anno = get_kanno(Ke),
1614 Anno = get_kanno(S),
2027 Anno = get_kanno(C),
2434 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
2444 Ka = get_kanno(Body),
2522 Used = case member(no_usage, get_kanno(V)) of
2532 P = set_kanno(P0, #k{us=U0,ns=Ps,a=get_kanno(P0)}),
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/
H A Dv3_kernel.erl95 get_kanno(Kthing) -> element(2, Kthing). function
98 Anno = get_kanno(Ksrc),
231 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1068 Anno = get_kanno(Ke),
1157 Anno = get_kanno(S),
1530 Anno = get_kanno(C),
2005 {#k_put{anno=get_kanno(Lit),arg=Lit,ret=Rs},Used,St1}.
2027 Ka = get_kanno(Body),
2110 false -> set_kanno(Var, [unused|get_kanno(Var)])
2213 Anno = get_kanno(Ke),
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/
H A Dv3_kernel.erl93 get_kanno(Kthing) -> element(2, Kthing). function
96 Anno = get_kanno(Ksrc),
229 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1066 Anno = get_kanno(Ke),
1145 Anno = get_kanno(S),
1518 Anno = get_kanno(C),
1993 {#k_put{anno=get_kanno(Lit),arg=Lit,ret=Rs},Used,St1}.
2015 Ka = get_kanno(Body),
2098 false -> set_kanno(Var, [unused|get_kanno(Var)])
2201 Anno = get_kanno(Ke),
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/
H A Dv3_kernel.erl95 get_kanno(Kthing) -> element(2, Kthing). function
98 Anno = get_kanno(Ksrc),
231 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1068 Anno = get_kanno(Ke),
1157 Anno = get_kanno(S),
1530 Anno = get_kanno(C),
2005 {#k_put{anno=get_kanno(Lit),arg=Lit,ret=Rs},Used,St1}.
2027 Ka = get_kanno(Body),
2110 false -> set_kanno(Var, [unused|get_kanno(Var)])
2213 Anno = get_kanno(Ke),
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/
H A Dv3_kernel.erl95 get_kanno(Kthing) -> element(2, Kthing). function
98 Anno = get_kanno(Ksrc),
231 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1068 Anno = get_kanno(Ke),
1157 Anno = get_kanno(S),
1530 Anno = get_kanno(C),
2005 {#k_put{anno=get_kanno(Lit),arg=Lit,ret=Rs},Used,St1}.
2027 Ka = get_kanno(Body),
2110 false -> set_kanno(Var, [unused|get_kanno(Var)])
2213 Anno = get_kanno(Ke),
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/
H A Dv3_kernel.erl95 get_kanno(Kthing) -> element(2, Kthing). function
98 Anno = get_kanno(Ksrc),
231 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1068 Anno = get_kanno(Ke),
1157 Anno = get_kanno(S),
1530 Anno = get_kanno(C),
2005 {#k_put{anno=get_kanno(Lit),arg=Lit,ret=Rs},Used,St1}.
2027 Ka = get_kanno(Body),
2110 false -> set_kanno(Var, [unused|get_kanno(Var)])
2213 Anno = get_kanno(Ke),
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/
H A Dv3_kernel.erl93 get_kanno(Kthing) -> element(2, Kthing). function
96 Anno = get_kanno(Ksrc),
713 {pre_seq(Ap, #k_test{anno=get_kanno(Ke),
1556 Anno = get_kanno(Ke),
1635 Anno = get_kanno(S),
2069 Anno = get_kanno(C),
2477 {#k_put{anno=#k{us=Used,ns=lit_list_vars(Rs),a=get_kanno(Lit)},
2487 Ka = get_kanno(Body),
2537 Used = case member(no_usage, get_kanno(V)) of
2547 P = set_kanno(P0, #k{us=U0,ns=Ps,a=get_kanno(P0)}),
[all …]