1bdd1243dSDimitry Andric// -*- C++ -*- 2bdd1243dSDimitry Andric//===----------------------------------------------------------------------===// 3bdd1243dSDimitry Andric// 4bdd1243dSDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5bdd1243dSDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 6bdd1243dSDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7bdd1243dSDimitry Andric// 8bdd1243dSDimitry Andric//===----------------------------------------------------------------------===// 9bdd1243dSDimitry Andric 10bdd1243dSDimitry Andric#ifndef _LIBCPP_SOURCE_LOCATION 11bdd1243dSDimitry Andric#define _LIBCPP_SOURCE_LOCATION 12bdd1243dSDimitry Andric 13bdd1243dSDimitry Andric/* source_location synopsis 14bdd1243dSDimitry Andric 15bdd1243dSDimitry Andricnamespace std { 16bdd1243dSDimitry Andric struct source_location { 17bdd1243dSDimitry Andric static consteval source_location current() noexcept; 18bdd1243dSDimitry Andric constexpr source_location() noexcept; 19bdd1243dSDimitry Andric 20bdd1243dSDimitry Andric constexpr uint_least32_t line() const noexcept; 21bdd1243dSDimitry Andric constexpr uint_least32_t column() const noexcept; 22bdd1243dSDimitry Andric constexpr const char* file_name() const noexcept; 23bdd1243dSDimitry Andric constexpr const char* function_name() const noexcept; 24bdd1243dSDimitry Andric }; 25bdd1243dSDimitry Andric} 26bdd1243dSDimitry Andric*/ 27bdd1243dSDimitry Andric 28bdd1243dSDimitry Andric#include <__config> 29bdd1243dSDimitry Andric#include <cstdint> 30bdd1243dSDimitry Andric#include <version> 31bdd1243dSDimitry Andric 32bdd1243dSDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 33bdd1243dSDimitry Andric# pragma GCC system_header 34bdd1243dSDimitry Andric#endif 35bdd1243dSDimitry Andric 36bdd1243dSDimitry Andric_LIBCPP_BEGIN_NAMESPACE_STD 37bdd1243dSDimitry Andric 38*5f757f3fSDimitry Andric#if _LIBCPP_STD_VER >= 20 39bdd1243dSDimitry Andric 40bdd1243dSDimitry Andricclass source_location { 41bdd1243dSDimitry Andric // The names source_location::__impl, _M_file_name, _M_function_name, _M_line, and _M_column 42bdd1243dSDimitry Andric // are hard-coded in the compiler and must not be changed here. 43bdd1243dSDimitry Andric struct __impl { 44bdd1243dSDimitry Andric const char* _M_file_name; 45bdd1243dSDimitry Andric const char* _M_function_name; 46bdd1243dSDimitry Andric unsigned _M_line; 47bdd1243dSDimitry Andric unsigned _M_column; 48bdd1243dSDimitry Andric }; 49bdd1243dSDimitry Andric const __impl* __ptr_ = nullptr; 50bdd1243dSDimitry Andric // GCC returns the type 'const void*' from the builtin, while clang returns 51bdd1243dSDimitry Andric // `const __impl*`. Per C++ [expr.const], casts from void* are not permitted 52bdd1243dSDimitry Andric // in constant evaluation, so we don't want to use `void*` as the argument 53bdd1243dSDimitry Andric // type unless the builtin returned that, anyhow, and the invalid cast is 54bdd1243dSDimitry Andric // unavoidable. 55bdd1243dSDimitry Andric using __bsl_ty = decltype(__builtin_source_location()); 56bdd1243dSDimitry Andric 57bdd1243dSDimitry Andricpublic: 58bdd1243dSDimitry Andric // The defaulted __ptr argument is necessary so that the builtin is evaluated 59bdd1243dSDimitry Andric // in the context of the caller. An explicit value should never be provided. 60bdd1243dSDimitry Andric static consteval source_location current(__bsl_ty __ptr = __builtin_source_location()) noexcept { 61bdd1243dSDimitry Andric source_location __sl; 62bdd1243dSDimitry Andric __sl.__ptr_ = static_cast<const __impl*>(__ptr); 63bdd1243dSDimitry Andric return __sl; 64bdd1243dSDimitry Andric } 65bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr source_location() noexcept = default; 66bdd1243dSDimitry Andric 67bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr uint_least32_t line() const noexcept { 68bdd1243dSDimitry Andric return __ptr_ != nullptr ? __ptr_->_M_line : 0; 69bdd1243dSDimitry Andric } 70bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr uint_least32_t column() const noexcept { 71bdd1243dSDimitry Andric return __ptr_ != nullptr ? __ptr_->_M_column : 0; 72bdd1243dSDimitry Andric } 73bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr const char* file_name() const noexcept { 74bdd1243dSDimitry Andric return __ptr_ != nullptr ? __ptr_->_M_file_name : ""; 75bdd1243dSDimitry Andric } 76bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr const char* function_name() const noexcept { 77bdd1243dSDimitry Andric return __ptr_ != nullptr ? __ptr_->_M_function_name : ""; 78bdd1243dSDimitry Andric } 79bdd1243dSDimitry Andric}; 80bdd1243dSDimitry Andric 81*5f757f3fSDimitry Andric#endif // _LIBCPP_STD_VER >= 20 82bdd1243dSDimitry Andric 83bdd1243dSDimitry Andric_LIBCPP_END_NAMESPACE_STD 84bdd1243dSDimitry Andric 85bdd1243dSDimitry Andric#endif // _LIBCPP_SOURCE_LOCATION 86