Home
last modified time | relevance | path

Searched refs:eh_typeids (Results 1 – 2 of 2) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h226 std::vector<ref<Expr>> eh_typeids; variable
H A DExecutor.cpp1640 std::find(std::begin(eh_typeids), std::end(eh_typeids), type_info);
1641 if (eh_type_iterator == std::end(eh_typeids)) {
1642 eh_typeids.push_back(type_info);
1643 eh_type_iterator = std::prev(std::end(eh_typeids));
1647 auto res = ConstantExpr::create(eh_type_iterator - std::begin(eh_typeids) + 1,