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

[zheng.xianyuwang at gmail dot com via Gcc-bugs]

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

--- Comment #1 from Wang Jinghao <zheng.xianyuwang at gmail dot com> ---
Created attachment 65344
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65344&action=edit
testcase