Home
last modified time | relevance | path

Searched refs:lbl_id (Results 1 – 25 of 30) sorted by relevance

12

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dmam.cpp71 void mk_lbl_hash(unsigned lbl_id) { in mk_lbl_hash() argument
74 unsigned c = lbl_id; in mk_lbl_hash()
82 if (lbl_id >= m_lbl2hash.size()) in operator ()()
84 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
85 mk_lbl_hash(lbl_id); in operator ()()
87 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
88 return m_lbl2hash[lbl_id]; in operator ()()
3169 return lbl_id < m_is_plbl.size() && m_is_plbl[lbl_id]; in is_plbl()
3173 return lbl_id < m_is_clbl.size() && m_is_clbl[lbl_id]; in is_clbl()
3189 if (m_is_clbl[lbl_id]) in update_clbls()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Dq_mam.cpp97 void mk_lbl_hash(unsigned lbl_id) { in mk_lbl_hash() argument
100 unsigned c = lbl_id; in mk_lbl_hash()
108 if (lbl_id >= m_lbl2hash.size()) in operator ()()
110 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
111 mk_lbl_hash(lbl_id); in operator ()()
113 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
114 return m_lbl2hash[lbl_id]; in operator ()()
3107 return lbl_id < m_is_plbl.size() && m_is_plbl[lbl_id]; in is_plbl()
3111 return lbl_id < m_is_clbl.size() && m_is_clbl[lbl_id]; in is_clbl()
3127 if (m_is_clbl[lbl_id]) in update_clbls()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dmam.cpp86 void mk_lbl_hash(unsigned lbl_id) { in mk_lbl_hash() argument
89 unsigned c = lbl_id; in mk_lbl_hash()
97 if (lbl_id >= m_lbl2hash.size()) in operator ()()
99 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
100 mk_lbl_hash(lbl_id); in operator ()()
102 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
103 return m_lbl2hash[lbl_id]; in operator ()()
3179 return lbl_id < m_is_plbl.size() && m_is_plbl[lbl_id]; in is_plbl()
3183 return lbl_id < m_is_clbl.size() && m_is_clbl[lbl_id]; in is_clbl()
3199 if (m_is_clbl[lbl_id]) in update_clbls()
[all …]
/dports/net-mgmt/ocsinventory-ocsreports/ocsinventory-ocsreports/require/ipdiscover/
H A DIpdiscover.php77 $lbl_id = $_SESSION['OCS']["ipdiscover_id"];
79 $lbl_id = $l->g(305) . ":";
83 …$tab_name = array($l->g(304) . " :", $lbl_id . " :", "TAG :", $l->g(34) . " :", $l->g(208) . " :");
85 $tab_name = array($l->g(304) . " :", $lbl_id . " :", $l->g(34) . " :", $l->g(208) . " :");
/dports/net-mgmt/ocsinventory-ocsreports/ocsinventory-ocsreports/require/
H A Dfunction_ipdiscover.php54 $lbl_id = $_SESSION['OCS']["ipdiscover_id"];
56 $lbl_id = $l->g(305) . ":";
59 $tab_name = array($l->g(304) . ": ", $lbl_id . ":", $l->g(34) . ": ", $l->g(208) . ": ");
/dports/net/rssguard/rssguard-4.0.4/src/librssguard/database/
H A Ddatabasequeries.cpp185 auto lbl_id = q.value(0).toString(); in getLabelsForMessage() local
187 return lbl->customId() == lbl_id; in getLabelsForMessage()
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/
H A Ddwarf2out.c3778 char * lbl_id; in add_AT_low_high_pc() local
3780 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
3783 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3786 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
3796 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
3797 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3801 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4296 const char *lbl_id) in add_AT_lbl_id() argument
4303 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/
H A Ddwarf2out.c3819 char * lbl_id; in add_AT_low_high_pc() local
3821 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
3824 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3827 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
3837 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
3838 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3842 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4342 const char *lbl_id) in add_AT_lbl_id() argument
4349 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc48/gcc-4.8.5/gcc/
H A Ddwarf2out.c3778 char * lbl_id; in add_AT_low_high_pc() local
3780 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
3783 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3786 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
3796 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
3797 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
3801 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4296 const char *lbl_id) in add_AT_lbl_id() argument
4303 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gnat_util/gcc-6-20180516/gcc/
H A Ddwarf2out.c4047 char * lbl_id; in add_AT_low_high_pc() local
4049 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4052 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4055 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4065 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4066 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4070 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4572 const char *lbl_id) in add_AT_lbl_id() argument
4579 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/
H A Ddwarf2out.c4047 char * lbl_id; in add_AT_low_high_pc() local
4049 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4052 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4055 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4065 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4066 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4070 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4572 const char *lbl_id) in add_AT_lbl_id() argument
4579 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/
H A Ddwarf2out.c4550 char * lbl_id; in add_AT_low_high_pc() local
4552 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4555 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4558 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4568 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4569 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4573 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5165 const char *lbl_id) in add_AT_lbl_id() argument
5172 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/
H A Ddwarf2out.c4632 char * lbl_id; in add_AT_low_high_pc() local
4634 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4637 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4640 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4650 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4651 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4655 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5291 const char *lbl_id) in add_AT_lbl_id() argument
5298 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc9/gcc-9.4.0/gcc/
H A Ddwarf2out.c4580 char * lbl_id; in add_AT_low_high_pc() local
4582 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4585 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4588 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4598 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4599 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4603 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5182 const char *lbl_id) in add_AT_lbl_id() argument
5189 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/
H A Ddwarf2out.c4546 char * lbl_id; in add_AT_low_high_pc() local
4548 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4551 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4554 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4564 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4565 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4569 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5161 const char *lbl_id) in add_AT_lbl_id() argument
5168 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/
H A Ddwarf2out.c4584 char * lbl_id; in add_AT_low_high_pc() local
4586 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4589 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4592 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4602 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4603 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4607 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5186 const char *lbl_id) in add_AT_lbl_id() argument
5193 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/
H A Ddwarf2out.c4605 char * lbl_id; in add_AT_low_high_pc() local
4607 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4610 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4613 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4623 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4624 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4628 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5238 const char *lbl_id) in add_AT_lbl_id() argument
5245 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/
H A Ddwarf2out.c4584 char * lbl_id; in add_AT_low_high_pc() local
4586 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4589 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4592 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4602 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4603 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4607 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5186 const char *lbl_id) in add_AT_lbl_id() argument
5193 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/
H A Ddwarf2out.c4550 char * lbl_id; in add_AT_low_high_pc() local
4552 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4555 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4558 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4568 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4569 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4573 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5165 const char *lbl_id) in add_AT_lbl_id() argument
5172 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc11/gcc-11.2.0/gcc/
H A Ddwarf2out.c4605 char * lbl_id; in add_AT_low_high_pc() local
4607 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4610 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4613 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4623 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4624 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4628 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5238 const char *lbl_id) in add_AT_lbl_id() argument
5245 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/
H A Ddwarf2out.c4550 char * lbl_id; in add_AT_low_high_pc() local
4552 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4555 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4558 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4568 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4569 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4573 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5165 const char *lbl_id) in add_AT_lbl_id() argument
5172 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/
H A Ddwarf2out.c4550 char * lbl_id; in add_AT_low_high_pc() local
4552 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4555 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4558 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4568 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4569 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4573 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5165 const char *lbl_id) in add_AT_lbl_id() argument
5172 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/
H A Ddwarf2out.c4605 char * lbl_id; in add_AT_low_high_pc() local
4607 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4610 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4613 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4623 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4624 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4628 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5238 const char *lbl_id) in add_AT_lbl_id() argument
5245 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/
H A Ddwarf2out.c4580 char * lbl_id; in add_AT_low_high_pc() local
4582 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4585 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4588 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4598 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4599 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4603 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5182 const char *lbl_id) in add_AT_lbl_id() argument
5189 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()
/dports/lang/gcc10/gcc-10.3.0/gcc/
H A Ddwarf2out.c4584 char * lbl_id; in add_AT_low_high_pc() local
4586 lbl_id = xstrdup (lbl_low); in add_AT_low_high_pc()
4589 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4592 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
4602 lbl_id = xstrdup (lbl_high); in add_AT_low_high_pc()
4603 attr.dw_attr_val.v.val_lbl_id = lbl_id; in add_AT_low_high_pc()
4607 = add_addr_table_entry (lbl_id, ate_kind_label); in add_AT_low_high_pc()
5186 const char *lbl_id) in add_AT_lbl_id() argument
5193 attr.dw_attr_val.v.val_lbl_id = xstrdup (lbl_id); in add_AT_lbl_id()

12