[Bug c++/126897] [constracts] Postconditions incorrectly treat parameters in the left operand of a comma expression as ODR-used.

[zheng.xianyuwang at gmail dot com]

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

--- Comment #1 from Wang Jinghao <zheng.xianyuwang at gmail dot com> ---
*** Bug 126898 has been marked as a duplicate of this bug. ***