/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 577 constraints_fixpoint(VarTab, Module, MFA, Constrs, RecDict, ExpTypes, 580 constraints_fixpoint(OldVarTab, Module, MFA, Constrs, RecDict, ExpTypes, 651 Constrs = remove_uses(ToRemove, Constrs0), 653 Constrs. 655 find_uses([{Var, Form}|Constrs]) -> 658 [{VarName, UsedVar} || UsedVar <- UsedVars] ++ find_uses(Constrs); 684 remove_uses([], Constrs) -> Constrs; 686 Constrs = remove_uses(Var, Use, Constrs0), 687 remove_uses(ToRemove, Constrs). 690 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1592 Constrs = F(Arg1) ++ F(Arg2), 1593 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1699 #state{cs = Constrs}) -> 1712 case find_element(Args, Constrs) of 2818 Constrs -> 2819 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 546 process_constraints(Constrs, Module, MFA, File, RecDict, ExpTypes, 580 constraints_fixpoint(Constrs, Module, MFA, File, RecDict, ExpTypes, 627 constraints_to_dict(Constrs, Module, MFA, File, RecDict, ExpTypes, 660 Constrs = remove_uses(ToRemove, Constrs0), 662 Constrs. 664 find_uses([{Var, Form}|Constrs]) -> 693 remove_uses([], Constrs) -> Constrs; 695 Constrs = remove_uses(Var, Use, Constrs0), 696 remove_uses(ToRemove, Constrs). 699 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1592 Constrs = F(Arg1) ++ F(Arg2), 1593 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1699 #state{cs = Constrs}) -> 1712 case find_element(Args, Constrs) of 2818 Constrs -> 2819 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 577 constraints_fixpoint(VarTab, Module, MFA, Constrs, RecDict, ExpTypes, 580 constraints_fixpoint(OldVarTab, Module, MFA, Constrs, RecDict, ExpTypes, 651 Constrs = remove_uses(ToRemove, Constrs0), 653 Constrs. 655 find_uses([{Var, Form}|Constrs]) -> 658 [{VarName, UsedVar} || UsedVar <- UsedVars] ++ find_uses(Constrs); 684 remove_uses([], Constrs) -> Constrs; 686 Constrs = remove_uses(Var, Use, Constrs0), 687 remove_uses(ToRemove, Constrs). 690 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1589 Constrs = F(Arg1) ++ F(Arg2), 1590 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1696 #state{cs = Constrs}) -> 1709 case find_element(Args, Constrs) of 2815 Constrs -> 2816 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 546 process_constraints(Constrs, Module, MFA, File, RecDict, ExpTypes, 580 constraints_fixpoint(Constrs, Module, MFA, File, RecDict, ExpTypes, 627 constraints_to_dict(Constrs, Module, MFA, File, RecDict, ExpTypes, 660 Constrs = remove_uses(ToRemove, Constrs0), 662 Constrs. 664 find_uses([{Var, Form}|Constrs]) -> 693 remove_uses([], Constrs) -> Constrs; 695 Constrs = remove_uses(Var, Use, Constrs0), 696 remove_uses(ToRemove, Constrs). 699 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1592 Constrs = F(Arg1) ++ F(Arg2), 1593 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1699 #state{cs = Constrs}) -> 1712 case find_element(Args, Constrs) of 2818 Constrs -> 2819 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 546 process_constraints(Constrs, Module, MFA, File, RecDict, ExpTypes, 580 constraints_fixpoint(Constrs, Module, MFA, File, RecDict, ExpTypes, 627 constraints_to_dict(Constrs, Module, MFA, File, RecDict, ExpTypes, 660 Constrs = remove_uses(ToRemove, Constrs0), 662 Constrs. 664 find_uses([{Var, Form}|Constrs]) -> 693 remove_uses([], Constrs) -> Constrs; 695 Constrs = remove_uses(Var, Use, Constrs0), 696 remove_uses(ToRemove, Constrs). 699 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1592 Constrs = F(Arg1) ++ F(Arg2), 1593 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1699 #state{cs = Constrs}) -> 1712 case find_element(Args, Constrs) of 2818 Constrs -> 2819 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 546 process_constraints(Constrs, Module, MFA, File, RecDict, ExpTypes, 580 constraints_fixpoint(Constrs, Module, MFA, File, RecDict, ExpTypes, 627 constraints_to_dict(Constrs, Module, MFA, File, RecDict, ExpTypes, 660 Constrs = remove_uses(ToRemove, Constrs0), 662 Constrs. 664 find_uses([{Var, Form}|Constrs]) -> 693 remove_uses([], Constrs) -> Constrs; 695 Constrs = remove_uses(Var, Use, Constrs0), 696 remove_uses(ToRemove, Constrs). 699 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
H A D | dialyzer_typesig.erl | 1592 Constrs = F(Arg1) ++ F(Arg2), 1593 Disj = mk_disj_constraint_list([mk_constraint(Dst, sub, False)|Constrs]), 1699 #state{cs = Constrs}) -> 1712 case find_element(Args, Constrs) of 2818 Constrs -> 2819 ApplyConstr = mk_disj_constraint_list(Constrs),
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/src/ |
H A D | dialyzer_contracts.erl | 573 constraints_fixpoint(VarTab, Module, MFA, Constrs, RecDict, ExpTypes, 576 constraints_fixpoint(OldVarTab, Module, MFA, Constrs, RecDict, ExpTypes, 647 Constrs = remove_uses(ToRemove, Constrs0), 649 Constrs. 651 find_uses([{Var, Form}|Constrs]) -> 654 [{VarName, UsedVar} || UsedVar <- UsedVars] ++ find_uses(Constrs); 680 remove_uses([], Constrs) -> Constrs; 682 Constrs = remove_uses(Var, Use, Constrs0), 683 remove_uses(ToRemove, Constrs). 686 remove_uses(Var, Use, [Constr|Constrs]) -> [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | sem_aggr.adb | 4574 Constrs : constant List_Id := New_List; 4584 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4597 Constraints => Constrs)); 4605 Constraints => Constrs));
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | sem_aggr.adb | 4604 Constrs : constant List_Id := New_List; 4614 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4627 Constraints => Constrs)); 4635 Constraints => Constrs));
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | sem_aggr.adb | 4604 Constrs : constant List_Id := New_List; 4614 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4627 Constraints => Constrs)); 4635 Constraints => Constrs));
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | sem_aggr.adb | 4604 Constrs : constant List_Id := New_List; 4614 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4627 Constraints => Constrs)); 4635 Constraints => Constrs));
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | sem_aggr.adb | 4561 Constrs : constant List_Id := New_List; 4571 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4584 Constraints => Constrs)); 4592 Constraints => Constrs));
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | sem_aggr.adb | 4574 Constrs : constant List_Id := New_List; 4584 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4597 Constraints => Constrs)); 4605 Constraints => Constrs));
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | sem_aggr.adb | 4574 Constrs : constant List_Id := New_List; 4584 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc))); 4597 Constraints => Constrs)); 4605 Constraints => Constrs));
|