Bug 277938
| Summary: | Introducing CONJECTURE_ASSERT. | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Mark Lam <mark.lam> |
| Component: | JavaScriptCore | Assignee: | Mark Lam <mark.lam> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
Mark Lam
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.
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Radar WebKit Bug Importer
<rdar://problem/133656316>
Mark Lam
Pull request: https://github.com/WebKit/WebKit/pull/32024
EWS
Committed 282132@main (70cc817deff2): <https://commits.webkit.org/282132@main>
Reviewed commits have been landed. Closing PR #32024 and removing active labels.