Searched refs:getSort (Results 1 - 7 of 7) sorted by relevance

/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h95 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) &&
205 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) &&
/netbsd-current/external/apache2/llvm/dist/llvm/include/llvm/Support/
H A DSMTAPI.h178 virtual SMTSortRef getSort(const SMTExprRef &AST) = 0;
/netbsd-current/external/gpl3/binutils/dist/gprofng/src/
H A Dgp-display-text.cc953 dbev->getSort (MET_DATA));
959 scratch = dbev->getSort (MET_INDX);
981 scratch = dbev->getSort (MET_NORMAL);
2158 char *name = dbev->getSort (MET_DATA);
2230 char *sname = dbev->getSort (MET_NORMAL);
2300 sname = dbev->getSort (MET_CALL);
H A DDbeView.h477 char *getSort (MetricType mtype);
H A DPrint.cc1004 char *s = dbev->getSort (MET_CALL_AGR);
1143 char *s = dbev->getSort (MET_CALL);
H A DDbeView.cc1285 DbeView::getSort (MetricType mtype) function in class:DbeView
/netbsd-current/external/apache2/llvm/dist/llvm/lib/Support/
H A DZ3Solver.cpp313 SMTSortRef getSort(const SMTExprRef &Exp) override {
853 SMTSortRef Sort = getSort(Assign);
867 SMTSortRef Sort = getSort(Assign);

Completed in 355 milliseconds