| /dports/security/klee/klee-2.2/lib/Solver/ |
| H A D | FastCexSolver.cpp | 33 uint64_t c, uint64_t d) { in minOR()
49 uint64_t c, uint64_t d) { in maxOR()
65 uint64_t c, uint64_t d) { in minAND()
80 uint64_t c, uint64_t d) { in maxAND()
443 void propogatePossibleValue(ref<Expr> e, uint64_t value) { in propogatePossibleValue()
447 void propogateExactValue(ref<Expr> e, uint64_t value) { in propogateExactValue()
468 CexObjectData &cod = getObjectData(array); in propogatePossibleValues() local
805 CexObjectData &cod = getObjectData(array); in propogateExactValues() local
931 ValueRange evalRangeForExpr(const ref<Expr> &e) { in evalRangeForExpr()
938 ref<Expr> evaluatePossible(ref<Expr> e) { in evaluatePossible()
[all …]
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/xtrabackup/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/percona57-server/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/percona57-client/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/mysql57-client/mysql-5.7.36/boost/boost_1_59_0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1595 const size_type d = p - this->cbegin(); in erase() local
1629 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/devel/hyperscan/boost_1_75_0/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/devel/R-cran-BH/BH/inst/include/boost/container/ |
| H A D | stable_vector.hpp | 648 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
666 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
682 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
700 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
767 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1731 const difference_type d = p - this->cbegin(); in erase() local
1768 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/boost-1.70.0/include/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1681 const size_type d = p - this->cbegin(); in erase() local
1717 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1620 const size_type d = p - this->cbegin(); in erase() local
1656 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/devel/boost-libs/boost_1_72_0/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/devel/boost-python-libs/boost_1_72_0/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/container/ |
| H A D | stable_vector.hpp | 614 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
632 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
648 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
666 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
682 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1664 const size_type d = p - this->cbegin(); in erase() local
1700 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/devel/boost-docs/boost_1_72_0/boost/container/ |
| H A D | stable_vector.hpp | 631 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
649 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
665 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
683 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
699 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
716 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
733 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
750 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1682 const size_type d = p - this->cbegin(); in erase() local
1718 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/graphics/povray37/povray-3.7.0.10/libraries/boost/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1620 const size_type d = p - this->cbegin(); in erase() local
1656 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/boost-1.60.0/boost/container/ |
| H A D | stable_vector.hpp | 570 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
588 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
604 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
622 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
638 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
655 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
672 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
689 stable_vector_detail::clear_on_destroy<stable_vector> cod(*this); in stable_vector() local
1618 const size_type d = p - this->cbegin(); in erase() local
1654 const index_iterator e = this->index.erase(it1, it2); in erase() local
[all …]
|
| /dports/www/trafficserver/trafficserver-9.1.1/iocore/cache/ |
| H A D | CacheWrite.cc | 317 Vol::aggWriteDone(int event, Event *e) in aggWriteDone()
514 OpenDirEntry *cod; in evacuateDocDone() local
608 Vol::evacuateDocReadDone(int event, Event *e) in evacuateDocReadDone()
701 off_t e = this->offset_to_vol_offset(high); in evac_range() local
916 int64_t e = dir_offset_evac_bucket(eo); in evacuate_cleanup() local
1064 Doc *d = reinterpret_cast<Doc *>(agg_buffer); in aggWrite() local
1209 CacheVC::openWriteCloseHead(int event, Event *e) in openWriteCloseHead()
1285 CacheVC::openWriteClose(int event, Event *e) in openWriteClose()
1324 CacheVC::openWriteWriteDone(int event, Event *e) in openWriteWriteDone()
1458 CacheVC::openWriteOverwrite(int event, Event *e) in openWriteOverwrite()
[all …]
|
| /dports/devel/tass64/64tass-1.56.2625-src/ |
| H A D | optimizer.c | 43 Bit *n, *v, *e, *d, *i, *z, *c; member
70 void cpu_opt_long_branch(unsigned int cod) { in cpu_opt_long_branch()
357 Bit *e = add_bit(v->a[i], r2, co, &c); in adcsbc() local
366 Bit *e = add_bit(v->a[i], r->a[i], co, &c); in adcsbc() local
388 Bit *e = cb(r->a[i], v->a[i]); in bincalc_reg() local
567 Bit *e = r->a[i]; in bit_reg2() local
598 void cpu_opt(unsigned int cod, uint32_t adr, int ln, linepos_t epoint) { in cpu_opt()
|
| /dports/math/cbc/Cbc-releases-2.10.5/Cbc/src/ |
| H A D | CbcSymmetry.cpp | 54 void CbcSymmetry::Node::node(int i, double c, double l, double u, int cod, int s) in node()
410 int *d = NULL; in setupSymmetry() local
411 int *e = NULL; in setupSymmetry() local
645 } catch (CoinError &e) { in setupSymmetry() local
776 CbcNauty::CbcNauty(int vertices, const size_t *v, const int *d, const int *e) in CbcNauty()
|
| /dports/multimedia/gpac-libgpac/gpac-1.0.0/src/filters/ |
| H A D | encrypt_cenc_isma.c | 125 GF_Err e; in isma_enc_configure() local
308 GF_ODCodec *cod; in isma_enc_configure() local
367 GF_Err e; in cenc_parse_pssh() local
754 GF_Err e = GF_OK; in cenc_enc_configure_pid() local
986 u8 *d = (u8*) output+isma_hdr_size; in isma_process() local
1053 GF_Err e; in adobe_process() local
1266 GF_Err e=GF_OK; in cenc_encrypt_packet() local
1615 GF_Err e; in cenc_process() local
1772 GF_Err e = GF_OK;; in cenc_enc_process() local
1808 GF_Err e; in cenc_enc_initialize() local
|
| /dports/multimedia/gpac-mp4box/gpac-1.0.0/src/filters/ |
| H A D | encrypt_cenc_isma.c | 125 GF_Err e; in isma_enc_configure() local
308 GF_ODCodec *cod; in isma_enc_configure() local
367 GF_Err e; in cenc_parse_pssh() local
754 GF_Err e = GF_OK; in cenc_enc_configure_pid() local
986 u8 *d = (u8*) output+isma_hdr_size; in isma_process() local
1053 GF_Err e; in adobe_process() local
1266 GF_Err e=GF_OK; in cenc_encrypt_packet() local
1615 GF_Err e; in cenc_process() local
1772 GF_Err e = GF_OK;; in cenc_enc_process() local
1808 GF_Err e; in cenc_enc_initialize() local
|
| /dports/games/assaultcube/AssaultCube_v1.2.0.2/source/src/ |
| H A D | renderhud.cpp | 327 vec d; in updatedmgindicator() local
545 vec cod(offx, offy, 0); in drawradar_showmap() local
563 entity *e = f.flagent; in drawradar_showmap() local
657 entity *e = f.flagent; in drawradar_vicinity() local
|