Remove contract system support for RETURN/RETVAL/POSTCONDITION#126625

Open

jkoritzinsky wants to merge 25 commits intomainfrom

remove-postcondition-return

Commits on Apr 6, 2026

Remove POSTCONDITION usages and convert RETURN macro to return keyword

jkoritzinsky
and
Copilot
committed

Commits on Apr 8, 2026

Address PR style feedback: remove unnecessary parens from return statements, fix indentation and trailing newlines
jkoritzinsky
committed
Address PR feedback: remove unnecessary brackets, trivially guaranteed asserts, and unnecessary return; at end of void functions

Copilot
and
jkotas
authored
Fix build breaks: remove _ASSERTE(CheckInvariant) and _ASSERTE(CheckPointer) which require contracts to be enabled

Copilot
and
jkotas
authored

Commits on Apr 10, 2026

Fix infinite loops: restore missing return statements in shash.inl and syncblk.cpp, remove incorrect assert in threadsuspend.cpp

Copilot
and
jkoritzinsky
authored

Commits on Apr 11, 2026

Commits on Apr 17, 2026

Merge remote-tracking branch 'origin/main' into remove-postcondition-return

Copilot
and
jkoritzinsky
authored

Commits on Apr 20, 2026

Fix build break: _ASSERTE(PCODE != NULL) -> _ASSERTE(PCODE != 0) in virtualcallstub.cpp

Copilot
and
jkoritzinsky
authored

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Fix SBuffer::Equals null-pointer assert when buffer is empty

Copilot
and
jkoritzinsky
authored