Coverage Report

Created: 2025-09-05 06:52

/src/serenity/AK/Assertions.h
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
3
 *
4
 * SPDX-License-Identifier: BSD-2-Clause
5
 */
6
7
#pragma once
8
9
#if defined(KERNEL)
10
#    include <Kernel/Library/Assertions.h>
11
#else
12
extern "C" __attribute__((noreturn)) void ak_verification_failed(char const*);
13
0
#    define __stringify_helper(x) #x
14
0
#    define __stringify(x) __stringify_helper(x)
15
#    define VERIFY(expr)                                                                  \
16
511G
        (__builtin_expect(!(expr), 0)                                                     \
auto OpenType::Maxp::Maxp(AK::Variant<OpenType::Maxp::Version0_5 const*, OpenType::Maxp::Version1_0 const*>)::{lambda(auto:1 const*)#1}::operator()<OpenType::Maxp::Version0_5>(OpenType::Maxp::Version0_5 const*) const
Line
Count
Source
16
29
        (__builtin_expect(!(expr), 0)                                                     \
auto OpenType::Maxp::Maxp(AK::Variant<OpenType::Maxp::Version0_5 const*, OpenType::Maxp::Version1_0 const*>)::{lambda(auto:1 const*)#1}::operator()<OpenType::Maxp::Version1_0>(OpenType::Maxp::Version1_0 const*) const
Line
Count
Source
16
638
        (__builtin_expect(!(expr), 0)                                                     \
Unexecuted instantiation: CyclicModule.cpp:JS::CyclicModule::async_module_execution_fulfilled(JS::VM&)::$_0::operator()(JS::CyclicModule*) const
Unexecuted instantiation: Duration.cpp:auto JS::Temporal::add_duration(JS::VM&, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, double, JS::Value)::$_0::operator()<double>(double) const
Unexecuted instantiation: SourceTextModule.cpp:JS::SourceTextModule::parse(AK::StringView, JS::Realm&, AK::StringView, JS::Script::HostDefined*)::$_0::operator()(JS::ImportEntry const&) const
Unexecuted instantiation: CSSColor.cpp:auto Web::CSS::CSSColor::create(AK::StringView, Web::CSS::ValueComparingNonnullRefPtr<Web::CSS::CSSStyleValue>, Web::CSS::ValueComparingNonnullRefPtr<Web::CSS::CSSStyleValue>, Web::CSS::ValueComparingNonnullRefPtr<Web::CSS::CSSStyleValue>, Web::CSS::ValueComparingRefPtr<Web::CSS::CSSStyleValue>)::$_0::operator()<AK::StringView>(AK::StringView) const
Unexecuted instantiation: AbstractOperations.cpp:Web::Streams::ReadableStreamGenericReaderMixin* Web::Streams::readable_stream_reader_generic_release(Web::Streams::ReadableStreamGenericReaderMixin&)::$_0::operator()<JS::NonnullGCPtr<Web::Streams::ReadableStreamDefaultReader> const>(JS::NonnullGCPtr<Web::Streams::ReadableStreamDefaultReader> const&) const
Unexecuted instantiation: AbstractOperations.cpp:Web::Streams::ReadableStreamGenericReaderMixin* Web::Streams::readable_stream_reader_generic_release(Web::Streams::ReadableStreamGenericReaderMixin&)::$_0::operator()<JS::NonnullGCPtr<Web::Streams::ReadableStreamBYOBReader> const>(JS::NonnullGCPtr<Web::Streams::ReadableStreamBYOBReader> const&) const
17
511G
                ? ak_verification_failed(#expr " at " __FILE__ ":" __stringify(__LINE__)) \
18
511G
                : (void)0)
19
369M
#    define VERIFY_NOT_REACHED() VERIFY(false) /* NOLINT(cert-dcl03-c,misc-static-assert) No, this can't be static_assert, it's a runtime check */
20
static constexpr bool TODO = false;
21
0
#    define TODO() VERIFY(TODO)                /* NOLINT(cert-dcl03-c,misc-static-assert) No, this can't be static_assert, it's a runtime check */
22
#    define TODO_AARCH64() VERIFY(TODO)        /* NOLINT(cert-dcl03-c,misc-static-assert) No, this can't be static_assert, it's a runtime check */
23
#    define TODO_RISCV64() VERIFY(TODO)        /* NOLINT(cert-dcl03-c,misc-static-assert) No, this can't be static_assert, it's a runtime check */
24
#endif