[clang] [clang] SemaFunctionEffects: When verifying a function, ignore any trailing 'requires' clause. (PR #114266)

[Doug Wyatt via cfe-commits]

dougsonos wrote:

> > is a builtin function `__is_constructible()`
> 
> Technically a type trait not a function—those are different because they take _types_ as arguments, and there are separate expressions to represent them (`UnaryExprOrTypeTraitExpr`, `TypeTraitExpr`, and a few more); maybe we’re somehow not accounting for those?
> 
> Do we have tests for effect analysis that use builtin type traits?

Thanks, I didn't know that these were type traits, they looked like special builtin functions to me, and that ignorance may be reflected in some of the diagnostics.

Generally expressions are ignored except `CallExpr` IIRC.

I'll look into this further. Thanks for the review here.

https://github.com/llvm/llvm-project/pull/114266