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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
