MitalAshok wrote:

@Sirraide Yes, the tests did pass because there were no tests for this.

For reference:
 * `llvm:main` currently only handles these two wrong 
https://github.com/llvm/llvm-project/pull/95846/commits/89da8b3bcc678430fe4225c723e87914f2c378cd#diff-c35ff1c0977223e8ef2893fd21f3886c57b26346258850d8c879362fd9222381R113-R114
 (https://godbolt.org/z/1j9Kc187f)
 * The first commit in this PR didn't handle `f1`, `f2` and `f3` properly, 
https://github.com/llvm/llvm-project/pull/95846/commits/77b5b6477f9af79777a35cfdf1fb4659e631be71#diff-c35ff1c0977223e8ef2893fd21f3886c57b26346258850d8c879362fd9222381R124-R141
 (It treated them as `CT_Cannot` since it incorrectly assumed they weren't 
potentially evaluated because the dependent type isn't a polymorphic class type)
 * The third commit fixed that by moving the check afterwards

https://github.com/llvm/llvm-project/pull/95846
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to