Landing: 943089ca86f8
Project / Subsystem
gcc / c++/contracts
Date
2026-08-26
Author
Wang Jinghao
Commit
943089ca86f81fb6eba004af17a8d714b3b8b35b
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- c++/contracts
- patch_id
- —
- commit_hash
- 943089ca86f81fb6eba004af17a8d714b3b8b35b
- source_type
- github
- headline
- C++/Contracts: Unify pseudo-template mode condition.
- tldr
- Standardizes conditions for parsing contract postconditions in pseudo-template mode to avoid substitution errors.
- author
- Wang Jinghao
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • c++
- • contracts
- • compiler
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-26T00:00:00.000Z
This change unifies the conditions under which contract postconditions are parsed and substituted in pseudo-template mode within the C++ frontend. Previously, differing conditions led to issues when substituting non-template trees. The fix ensures this approach is consistently applied only to postconditions that have result identifiers and deduced return types.