xref: /llvm-project/libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.verify.cpp (revision b82dcb624e6bfa58ed566511cb564f8f201fa62e)

//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// <numeric>

// template <class _Tp>
// _Tp midpoint(_Tp __a, _Tp __b) noexcept

// An overload exists for each of char and all arithmetic types except bool.

#include <numeric>

#include "test_macros.h"

int func1 () { return 1; }
int func2 () { return 2; }

struct Incomplete;
Incomplete *ip = nullptr;
void       *vp = nullptr;

int main(int, char**)
{
    (void) std::midpoint(false, true);  // expected-error {{no matching function for call to 'midpoint'}}

//  A couple of odd pointer types that should fail
    (void) std::midpoint(nullptr, nullptr);  // expected-error {{no matching function for call to 'midpoint'}}
    (void) std::midpoint(func1, func2);      // expected-error {{no matching function for call to 'midpoint'}}
    (void) std::midpoint(ip, ip);            // expected-error {{no matching function for call to 'midpoint'}}
    (void) std::midpoint(vp, vp);            // expected-error {{no matching function for call to 'midpoint'}}

    return 0;
}