Home
last modified time | relevance | path

Searched refs:Constrs (Results 1 – 25 of 69) sorted by relevance

123

/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/
H A Ddialyzer_contracts.erl577 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 Ddialyzer_typesig.erl1592 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 Ddialyzer_contracts.erl546 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 Ddialyzer_typesig.erl1592 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 Ddialyzer_contracts.erl577 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 Ddialyzer_typesig.erl1589 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 Ddialyzer_contracts.erl546 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 Ddialyzer_typesig.erl1592 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 Ddialyzer_contracts.erl546 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 Ddialyzer_typesig.erl1592 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 Ddialyzer_contracts.erl546 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 Ddialyzer_typesig.erl1592 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 Ddialyzer_contracts.erl573 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4574 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4604 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4604 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 Dsem_aggr.adb4604 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 Dsem_aggr.adb4561 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 Dsem_aggr.adb4574 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 Dsem_aggr.adb4574 Constrs : constant List_Id := New_List;
4584 Append_To (Constrs, Duplicate_Subexpr (Expression (New_Assoc)));
4597 Constraints => Constrs));
4605 Constraints => Constrs));

123