aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Sema/SemaConcept.cpp
AgeCommit message (Expand)AuthorFilesLines
5 days[Clang] Ensure correct parameters are in the scope for constraint equivalence...Younan Zhang1-0/+5
13 days[Clang] Fix the template argument collection after CWG2369 (#147894)Younan Zhang1-8/+16
2025-07-08[Clang] Fix template arguments collection for out-of-line declarations (#147463)Younan Zhang1-1/+1
2025-07-04[Sema] Remove an unnecessary cast (NFC) (#146985)Kazu Hirata1-2/+2
2025-06-19[clang] Migrate away from ArrayRef(std::nullopt) (NFC) (#144982)Kazu Hirata1-2/+2
2025-06-02[Clang] Reapply CWG2369 "Ordering between constraints and substitution" (#122...Younan Zhang1-2/+45
2025-05-24[Clang] Explain why a type trait evaluated to false. (#141238)cor3ntin1-0/+1
2025-05-22[Clang] Do not put the definition of concept nodes in the Sema library (#141104)cor3ntin1-58/+0
2025-05-20Suppress errors from well-formed-testing type traits in SFINAE contexts (#135...Aaron Puchert1-1/+1
2025-05-14[Clang][NFC] Introduce no local variable to avoid use after move (#139784)Shafik Yaghmour1-1/+2
2025-04-19[clang] Use llvm::append_range (NFC) (#136448)Kazu Hirata1-2/+1
2025-04-18[clang] Use llvm::append_range (NFC) (#136256)Kazu Hirata1-2/+2
2025-04-11[Sema] On Windows, silence erroneous warning when building with MSVCAlexandre Ganea1-5/+5
2025-04-03[clang] NFC: introduce UnsignedOrNone as a replacement for std::optional<unsi...Matheus Izvekov1-9/+7
2025-04-03[clang] support pack expansions for trailing requires clauses (#133190)Matheus Izvekov1-4/+2
2025-04-03[Clang] Fix a lambda pattern comparison mismatch after ecc7e6ce4 (#133863)Younan Zhang1-69/+0
2025-04-02[Clang][NFC] Minor constraint satisfaction checking cleanup (#134059)cor3ntin1-211/+199
2025-04-01[clang] Concepts: support pack expansions for type constraints (#132626)Matheus Izvekov1-44/+50
2025-03-30[Clang][NFC] Improve const correctness of constraint normalization (#133633)cor3ntin1-16/+20
2025-03-27[Clang] Improve subsumption. (#132849)cor3ntin1-110/+296
2025-02-26[Clang] Implement CWG2918 'Consideration of constraints for address of overlo...Younan Zhang1-3/+2
2025-02-25[Clang] Handle instantiating captures in addInstantiatedCapturesToScope() (#1...Younan Zhang1-1/+24
2025-01-22[Clang] SubstituteConstraintExpressionWithoutSatisfaction needs an unevaluate...Younan Zhang1-0/+3
2025-01-21[Clang] Delegate part of SetupConstraintScope's job to LambdaScopeForCallOper...Younan Zhang1-6/+6
2025-01-08Revert "[Clang] Implement CWG2369 "Ordering between constraints and substitut...Younan Zhang1-45/+2
2025-01-05[Clang] Implement CWG2369 "Ordering between constraints and substitution" (#1...Younan Zhang1-2/+45
2024-12-21[Sema] Migrate away from PointerUnion::{is,get} (NFC) (#120829)Kazu Hirata1-0/+18
2024-11-27[Sema] Migrate away from PointerUnion::{is,get} (NFC) (#117498)Kazu Hirata1-4/+3
2024-11-16[Sema] Remove unused includes (NFC) (#116461)Kazu Hirata1-2/+0
2024-11-06Revert "Reapply "[Clang][Sema] Refactor collection of multi-level template ar...Krystian Stasiowski1-11/+16
2024-11-04[Clang] Consider outer instantiation scopes for constraint normalization (#11...Younan Zhang1-1/+1
2024-10-11Reapply "[Clang][Sema] Refactor collection of multi-level template argument l...Krystian Stasiowski1-17/+12
2024-10-09Revert "Reapply "[Clang][Sema] Refactor collection of multi-level template ar...Krystian Stasiowski1-12/+17
2024-10-08Reapply "[Clang][Sema] Refactor collection of multi-level template argument l...Krystian Stasiowski1-17/+12
2024-10-03[Clang][Sema] Bump the instantiated index when skipping past non-init-capture...Younan Zhang1-0/+1
2024-10-01[Clang][Concepts] Normalize SizeOfPackExpr's pack declaration (#110238)Younan Zhang1-5/+9
2024-09-21Revert "[Clang][Sema] Refactor collection of multi-level template argument li...Martin Storsjö1-12/+17
2024-09-20[Clang][Sema] Refactor collection of multi-level template argument lists (#10...Krystian Stasiowski1-17/+12
2024-09-02[Clang][Concepts] Correct the CurContext for friend declarations (#106890)Younan Zhang1-1/+8
2024-08-26[Clang][Concepts] Fix the constraint equivalence checking involving parameter...Younan Zhang1-2/+24
2024-08-09[Clang] Fix Handling of Init Capture with Parameter Packs in LambdaScopeForCa...Yupei Liu1-5/+13
2024-08-08Revert "[clang] Reland: Instantiate concepts with sugared template arguments ...Matheus Izvekov1-7/+4
2024-08-05[Clang] SFINAE on mismatching pack length during constraint satisfaction chec...cor3ntin1-0/+4
2024-08-04[clang] Reland: Instantiate concepts with sugared template arguments (#101782)Matheus Izvekov1-4/+7
2024-08-04[clang] concepts: perform parameter mapping substitution in correct context (...Matheus Izvekov1-3/+3
2024-07-17[Clang][Concepts] Avoid substituting into constraints for invalid TemplateDec...Younan Zhang1-0/+6
2024-07-17Reapply [Clang][C++26] Implement "Ordering of constraints involving fold expr...cor3ntin1-200/+412
2024-07-16Revert "[Clang][C++26] Implement "Ordering of constraints involving fold expr...cor3ntin1-403/+200
2024-07-16[Clang][C++26] Implement "Ordering of constraints involving fold expressions ...cor3ntin1-200/+403
2024-07-13[Clang][NFCI] Remove records of unsatisfied atomic expressions in ConstraintS...Younan Zhang1-18/+15