[webkit-changes] [WebKit/WebKit] 70cc81: Introducing CONJECTURE_ASSERT.

[Commit Queue]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 70cc817deff298529ad393fdd664cb79a2e8b20e
      https://github.com/WebKit/WebKit/commit/70cc817deff298529ad393fdd664cb79a2e8b20e
  Author: Mark Lam <mark.lam at apple.com>
  Date:   2024-08-12 (Mon, 12 Aug 2024)

  Changed paths:
    M Source/WTF/wtf/Assertions.h
    M Source/WTF/wtf/PlatformEnable.h

  Log Message:
  -----------
  Introducing CONJECTURE_ASSERT.
https://bugs.webkit.org/show_bug.cgi?id=277938
rdar://133656316

Reviewed by Keith Miller.

CONJECTURE_ASSERT is only used to facilitate on-going analysis work to test conjectures about the code.
We want to be able to land these in the code base for some time to enable extended testing.

If the conjecture is proven false it, the CONJECTURE_ASSERT should either be removed or updated to test
a new conjecture.

If the conjecture is proven true, the CONJECTURE_ASSERT should either be promoted to an ASSERT or
RELEASE_ASSERT as appropriate, or removed if deemed of low value.

The number of CONJECTURE_ASSERTs should not be growing unboundedly, and they should not stay in the
code base perpetually.

* Source/WTF/wtf/Assertions.h:
* Source/WTF/wtf/PlatformEnable.h:

Canonical link: https://commits.webkit.org/282132@main



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications