rsmith added a comment. Including a link to the RFC (https://discourse.llvm.org/t/rfc-optional-a-type-qualifier-to-indicate-pointer-nullability/68004/2) in each of the patches in this series would be helpful.
Assuming that we want to go in this direction, it seems quite expensive to model this as a fast qualifier rather than an extended qualifier. Are these annotations expected to be so common that it's better to increase the alignment of all types than perform extra allocations and indirections for `_Optional` qualifiers? Have you measured the memory impact of increasing the alignment of `Type`? I think that should be a prerequisite to adding any new kind of fast qualifier, and if we do add such a qualifier, we should select carefully which qualifier gets this precious bit in `QualType`. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D142733/new/ https://reviews.llvm.org/D142733 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
