[Bug c++/125163] When a contract predicate exits via exception the contract violation shows detection_mode as predicate_false

[paul at preney dot ca via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125163

Paul Preney <paul at preney dot ca> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paul at preney dot ca

--- Comment #1 from Paul Preney <paul at preney dot ca> ---
Created attachment 64535
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64535&action=edit
This code recreates the issue.

Compile this code with -std=c++26 -freflection -Wall -Wextra with contracts
support, e.g.,

g++ -std=c++26 -O3 -freflection -Wall -Wextra -o issue.exe issue.cpp

g++ -std=c++26 -O3 -freflection -Wall -Wextra
-fcontract-evaluation-semantic=ignore -o issue-ignore.exe issue.cpp

g++ -std=c++26 -O3 -freflection -Wall -Wextra
-fcontract-evaluation-semantic=observe -o issue-observe.exe issue.cpp

g++ -std=c++26 -O3 -freflection -Wall -Wextra
-fcontract-evaluation-semantic=enforce -o issue-enforce.exe issue.cpp

g++ -std=c++26 -O3 -freflection -Wall -Wextra
-fcontract-evaluation-semantic=quick_enforce -o issue-quick_enforce.exe
issue.cpp