HomeSort by: relevance | last modified time | path
    Searched defs:Sort (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConv.h 26 // Returns an appropriate sort, given a QualType and it's bit width.
96 "AST's must have the same sort!");
206 "AST's must have the same sort!");
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth);
300 ? Solver->mkSBVtoFP(Exp, Sort)
301 : Solver->mkUBVtoFP(Exp, Sort);
  /src/external/apache2/llvm/dist/libcxx/benchmarks/
algorithms.bench.cpp 116 std::sort(V.begin(), V.end());
119 std::sort(V.begin(), V.end(), std::greater<>());
125 std::sort(V.begin(), V.end());
189 struct Sort {
195 [](auto& Copy) { std::sort(Copy.begin(), Copy.end()); });
327 makeCartesianProductBenchmark<Sort, AllValueTypes, AllOrders>(Quantities);
  /src/external/apache2/llvm/dist/llvm/lib/Support/
Z3Solver.cpp 66 /// Wrapper for Z3 Sort
72 Z3_sort Sort;
76 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) {
77 Z3_inc_ref(Context.Context, reinterpret_cast<Z3_ast>(Sort));
81 Z3Sort(const Z3Sort &Other) : Context(Other.Context), Sort(Other.Sort) {
82 Z3_inc_ref(Context.Context, reinterpret_cast<Z3_ast>(Sort));
88 Z3_inc_ref(Context.Context, reinterpret_cast<Z3_ast>(Other.Sort));
89 Z3_dec_ref(Context.Context, reinterpret_cast<Z3_ast>(Sort));
90 Sort = Other.Sort
    [all...]
  /src/sys/external/bsd/compiler_rt/dist/lib/sanitizer_common/
sanitizer_common.h 581 void Sort(T *v, uptr size, Compare comp = {}) {
  /src/external/gpl3/gcc/dist/libsanitizer/sanitizer_common/
sanitizer_common.h 662 void Sort(T *v, uptr size, Compare comp = {}) {
733 Sort(v.data(), v.size(), comp);
  /src/external/gpl3/gcc.old/dist/libsanitizer/sanitizer_common/
sanitizer_common.h 635 void Sort(T *v, uptr size, Compare comp = {}) {
707 Sort(v.data(), v.size(), comp);

Completed in 43 milliseconds