Update 2026 07 10

.ci/green-dragon/lldb-windows.groovy

@@ -48,7 +48,7 @@ pipeline {
             }
         }
 
-        stage('Build and Test (No LLDB Server)') {
+        stage('Build and Test') {
             steps {
                 timeout(60) {
                     catchError(buildResult: 'FAILURE', stageResult: 'FAILURE') {
@@ -81,28 +81,6 @@ cmake -G Ninja ^
     -DLLVM_LIT_ARGS="-v --time-tests --xunit-xml-output=C:\\workspace\\llvm-build\\test\\results-no-lldb-server.xml" ^
     -DPython3_EXECUTABLE="C:\\Program Files\\Python313\\python.exe" || exit /b 1
 ninja check-lldb -C ..\\llvm-build || exit /b 1
-'''
-                        bat '''
-                            docker run --rm ^
-                                -e BUILD_TYPE=%BUILD_TYPE% ^
-                                -v "%CD%:C:\\workspace" ^
-                                -w "C:\\workspace\\llvm-project" ^
-                                swiftlang/swift-ci:lldb-windowsservercore-1809 ^
-                                cmd /C C:\\workspace\\build.bat
-                        '''
-                    }
-                }
-            }
-        }
-
-        stage('Test (LLDB Server)') {
-            steps {
-                timeout(30) {
-                    catchError(buildResult: 'FAILURE', stageResult: 'FAILURE') {
-                        writeFile file: 'test-lldb-server.bat', text: '''@echo off
-call "C:\\Program Files (x86)\\Microsoft Visual Studio\\2022\\BuildTools\\VC\\Auxiliary\\Build\\vcvars64.bat" || exit /b 1
-
-set "PATH=%PATH%;C:\\Program Files\\Git\\usr\\bin"
 
 cmake -G Ninja ^
     -S llvm ^
@@ -117,12 +95,13 @@ ninja check-lldb -C ..\\llvm-build || exit /b 1
                                 -v "%CD%:C:\\workspace" ^
                                 -w "C:\\workspace\\llvm-project" ^
                                 swiftlang/swift-ci:lldb-windowsservercore-1809 ^
-                                cmd /C C:\\workspace\\test-lldb-server.bat
+                                cmd /C C:\\workspace\\build.bat
                         '''
                     }
                 }
             }
         }
+    }
 
     post {
         always {

bolt/test/AArch64/got-load-symbolization.s

@@ -38,9 +38,9 @@ _start:
 # CHECK-NEXT: adrp x2, __BOLT_got_zero
 # CHECK-NEXT: nop
 # CHECK-NEXT: ldr  x2, [x2, :lo12:__BOLT_got_zero{{.*}}]
-	adrp    x2, :got:near
+	adrp    x2, :got:near2
 	nop
-	ldr     x2, [x2, :got_lo12:near]
+	ldr     x2, [x2, :got_lo12:near2]
 
 ## Load data object with local visibility. Relaxable into adrp+add.
 # CHECK-NEXT: adrp x3, "local_far_data/1"
@@ -58,6 +58,7 @@ _start:
 	.size _start, .-_start
 
 .weak near
+.weak near2
 .weak far
 .weak far_data
 
@@ -77,6 +78,12 @@ near:
   ret
 .size   near, .-near
 
+	.globl near2
+	.type near2, @function
+near2:
+  ret
+.size   near2, .-near2
+
 #--- far.s
 
   .text

bolt/test/AArch64/lite-mode.s

@@ -24,12 +24,12 @@
 # CHECK-COMPACT-NOT: <_start.org.0>
 
 ## Verify that the number of FDEs matches the number of functions in the output
-## binary. There are three original functions and two optimized.
+## binary. There are four original functions and three optimized.
 ## NOTE: at the moment we are emitting extra FDEs for patched functions, thus
 ## there is one more FDE for _start.
 # RUN: llvm-readelf -u %t.bolt | grep -wc FDE \
 # RUN:   | FileCheck --check-prefix=CHECK-FDE %s
-# CHECK-FDE: 6
+# CHECK-FDE: 8
 
 ## In lite mode, optimized code will be separated from the original .text by
 ## over 128MB, making it impossible for call/bl instructions in cold functions
@@ -106,9 +106,9 @@ cold_function:
 # CHECK-NEXT:       add  x4
 
 ## Check that non-relaxable GOT load is left intact.
-  adrp    x5, :got:far_func
+  adrp    x5, :got:far_func2
   nop
-  ldr     x5, [x5, #:got_lo12:far_func]
+  ldr     x5, [x5, #:got_lo12:far_func2]
 # CHECK-INPUT-NEXT: adrp x5
 # CHECK-INPUT-NEXT: nop
 # CHECK-INPUT-NEXT: ldr x5
@@ -155,3 +155,12 @@ far_func:
   ret  x30
   .cfi_endproc
   .size far_func, .-far_func
+
+  .globl far_func2
+  .type far_func2, %function
+far_func2:
+# FDATA: 0 [unknown] 0 1 far_func2 0 0 100
+  .cfi_startproc
+  ret  x30
+  .cfi_endproc
+  .size far_func2, .-far_func2

bolt/test/AArch64/use-old-text-zero-padding.c

@@ -25,7 +25,7 @@
 // RUN: llvm-readelf -S %t/test.bolt | awk '$3==".text"{print $6, $7}' \
 // RUN:   > %t/txt-loc
 // RUN: bash -c "read O S < %t/txt-loc; \
-// RUN:   od -A x -t x1 -N 0x20 -j \$((0x\$O + 0x\$S)) %t/test.bolt" \
+// RUN:   od -A x -t x1 -N 32 -j \$((0x\$O + 0x\$S)) %t/test.bolt" \
 // RUN:   | FileCheck %s --check-prefix=PADDING
 
 // PADDING: {{[0-9a-f]+}} 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00

clang-tools-extra/clang-tidy/readability/TrivialSwitchCheck.cpp

@@ -12,12 +12,24 @@ using namespace clang::ast_matchers;
 
 namespace clang::tidy::readability {
 
+TrivialSwitchCheck::TrivialSwitchCheck(StringRef Name,
+                                       ClangTidyContext *Context)
+    : ClangTidyCheck(Name, Context),
+      IgnoreMacros(Options.get("IgnoreMacros", true)) {}
+
+void TrivialSwitchCheck::storeOptions(ClangTidyOptions::OptionMap &Opts) {
+  Options.store(Opts, "IgnoreMacros", IgnoreMacros);
+}
+
 void TrivialSwitchCheck::registerMatchers(MatchFinder *Finder) {
   Finder->addMatcher(switchStmt().bind("switch"), this);
 }
 
 void TrivialSwitchCheck::check(const MatchFinder::MatchResult &Result) {
   const auto *Switch = Result.Nodes.getNodeAs<SwitchStmt>("switch");
+  if (IgnoreMacros && Switch->getBeginLoc().isMacroID())
+    return;
+
   std::size_t CaseCount = 0;
   bool HasDefault = false;
 

clang-tools-extra/clang-tidy/readability/TrivialSwitchCheck.h

@@ -19,13 +19,16 @@ namespace clang::tidy::readability {
 /// https://clang.llvm.org/extra/clang-tidy/checks/readability/trivial-switch.html
 class TrivialSwitchCheck : public ClangTidyCheck {
 public:
-  TrivialSwitchCheck(StringRef Name, ClangTidyContext *Context)
-      : ClangTidyCheck(Name, Context) {}
+  TrivialSwitchCheck(StringRef Name, ClangTidyContext *Context);
   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
+  void storeOptions(ClangTidyOptions::OptionMap &Opts) override;
   std::optional<TraversalKind> getCheckTraversalKind() const override {
     return TK_IgnoreUnlessSpelledInSource;
   }
+
+private:
+  const bool IgnoreMacros;
 };
 
 } // namespace clang::tidy::readability

clang-tools-extra/docs/ReleaseNotes.rst

@@ -910,6 +910,11 @@ Changes in existing checks
   <clang-tidy/checks/readability/suspicious-call-argument>` check by avoiding a
   crash from invalid ``Abbreviations`` option.
 
+- Improved :doc:`readability-trivial-switch
+  <clang-tidy/checks/readability/trivial-switch>` check by adding an
+  `IgnoreMacros` option. When enabled, the check will ignore switch
+  statements originating from macros.
+
 - Improved :doc:`readability-use-anyofallof
   <clang-tidy/checks/readability/use-anyofallof>` check by emitting a diagnostic
   note to suggest materializing the temporary range when iterating over temporary

clang-tools-extra/docs/clang-tidy/checks/readability/trivial-switch.rst

@@ -34,3 +34,11 @@ Otherwise, the ``switch`` can be better expressed with an ``if`` statement.
   // The switch without any labels will be diagnosed.
   int i = 42;
   switch (i) {}
+
+Options
+-------
+
+.. option:: IgnoreMacros
+
+   If set to `true`, the check will not give warnings inside macros. Default
+   is `true`.

clang-tools-extra/test/clang-tidy/checkers/readability/trivial-switch.cpp

@@ -1,4 +1,7 @@
 // RUN: %check_clang_tidy -std=c++98-or-later %s readability-trivial-switch %t
+// RUN: %check_clang_tidy -std=c++98-or-later -check-suffixes=,MACROS %s \
+// RUN:   readability-trivial-switch %t -- \
+// RUN:   -config="{CheckOptions: {readability-trivial-switch.IgnoreMacros: false}}"
 
 void bad(int I) {
   switch (I) {
@@ -42,3 +45,14 @@ void good(int I) {
     break;
   }
 }
+
+#define SINGLE_CASE_SWITCH(I)                                                  \
+  switch (I) {                                                                 \
+  case 0:                                                                      \
+    break;                                                                     \
+  }
+
+void macro(int I) {
+  SINGLE_CASE_SWITCH(I)
+  // CHECK-MESSAGES-MACROS: :[[@LINE-1]]:3: warning: switch with only one case; use an if statement
+}

clang/cmake/modules/ClangConfig.cmake.in

@@ -13,10 +13,7 @@ set(CLANG_LINK_CLANG_DYLIB "@CLANG_LINK_CLANG_DYLIB@")
 set(CLANG_DEFAULT_LINKER "@CLANG_DEFAULT_LINKER@")
 
 # Provide all our library targets to users.
-# Skip when cross-compiling, as host library targets are not usable.
-if(NOT CMAKE_CROSSCOMPILING)
-  @CLANG_CONFIG_INCLUDE_EXPORTS@
-endif()
+@CLANG_CONFIG_INCLUDE_EXPORTS@
 
 # By creating clang-tablegen-targets here, subprojects that depend on Clang's
 # tablegen-generated headers can always depend on this target whether building

clang/docs/AMDGPUSupport.rst

@@ -57,3 +57,10 @@ Predefined Macros
      - Defined if FP64 instruction is available (deprecated).
 
 Please note that the specific architecture and feature names will vary depending on the GPU. Also, some macros are deprecated and may be removed in future releases.
+
+
+Target-Specific Builtins
+========================
+
+Clang exposes AMDGPU hardware intrinsics as target-specific builtins with the
+``__builtin_amdgcn_`` prefix. These are documented in :doc:`AMDGPUBuiltinReference`.

clang/docs/LanguageExtensions.md

@@ -5538,6 +5538,40 @@ int a = 1;
 __builtin_dcbf (&a);
 ```
 
+### z/OS Language Extensions
+
+#### z/OS builtins
+
+z/OS supports builtins for compare-and-swap operations that generate the
+corresponding z/OS assembly instructions (CS, CSG, CDSG). These builtins compare
+the value pointed to by oldptr to the value pointed to by curptr. If they are
+equal, the value pointed to by newword (or newword itself for `__cs`) is
+copied into the location pointed to by curptr. If they are unequal, the value
+pointed to by curptr is copied into the location pointed to by oldptr.
+The builtins return 0 if the values are equal, or 1 if they are unequal.
+
+- `int __cs(unsigned int *oldptr, unsigned int *curptr, unsigned int newword)`
+
+  Generates a 4-byte compare-and-swap using the CS instruction.
+  Use `__cs` instead of `__cs1` when the newword arg is an r-value instead
+  of an l-value.
+
+- `int __cs1(void *oldptr, void *curptr, void *newword)`
+
+  Generates a 4-byte compare-and-swap using the CS instruction.
+
+- `int __csg(void *oldptr, void *curptr, void *newword)`
+
+  Generates an 8-byte compare-and-swap using the CSG instruction.
+
+- `int __cds1(void *oldptr, void *curptr, void *newword)`
+
+  Generates an 8-byte compare-and-swap using the CSG instruction.
+
+- `int __cdsg(void *oldptr, void *curptr, void *newword)`
+
+  Generates a 16-byte compare-and-swap using the CDSG instruction.
+
 ## Extensions for Static Analysis
 
 Clang supports additional attributes that are useful for documenting program

clang/docs/ReleaseNotes.md

@@ -799,6 +799,10 @@ latest release, please see the [Clang Web Site](https://clang.llvm.org) or the
 - Fixed an assertion where we improperly handled implicit conversions to integral types from an atomic-type with a conversion function. (#GH201770)
 - Fixed assertion failures involving code completion with delayed default arguments and exception specifications. (#GH200879)
 - Fixed a regression where calling a function that takes a class-type parameter by value inside `decltype` of a concept could be incorrectly rejected when used as a non-type template argument. (#GH175831)
+- Clang no longer crashes if `__attribute__((cleanup))` is applied to an invalid declaration. Furthermore, in declarations that
+  contain multiple `cleanup` attributes, Clang now only uses the last one, matching GCC's behaviour (previously, Clang
+  would only use the first one). A new warning that diagnoses such declarations has been added to `-Wignored-attributes`.
+  (#GH191829)
 - Fixed a crash in the constant evaluator when an ill-formed array new-expression whose bound could not be determined (e.g. `new int[]()`) was used in a constant expression. (#GH200139)
 - Clang now defines the GCC-compatible predefined macros `__WCHAR_MIN__`, `__WINT_MIN__`, and `__SIG_ATOMIC_MIN__`. (#GH199678)
 
@@ -846,6 +850,7 @@ latest release, please see the [Clang Web Site](https://clang.llvm.org) or the
 - Clang no longer errors on overloads with different ref-qualifiers and constraints. (#GH120812)
 - Fixed a crash when a default argument is passed to an explicit object parameter. (#GH176639)
 - Fixed an alias template CTAD crash.
+- Improvements to typo correction involving template names. (#GH207498)
 - Correctly diagnose uses of `co_await` / `co_yield` in the default argument of nested function declarations. (#GH98923)
 - Fixed a crash when diagnosing an invalid static member function with an explicit object parameter (#GH177741)
 - Clang incorrectly instantiated variable specializations outside of the immediate context. (#GH54439)
@@ -942,6 +947,7 @@ latest release, please see the [Clang Web Site](https://clang.llvm.org) or the
   immediate-escalated callable. (#GH192846)
 - Fixed a crash when passing one sized implicitly casted vector to a `abs` function. (#GH204777)
 - Fixed a crash when diagnosing an invalid out-of-line definition of a member class template. (#GH201490)
+- Fixed a crash in the parser when a missing semicolon after a tag definition is followed by a template-id not preceded by `::`. (#GH207992)
 
 ### OpenACC Specific Changes
 

clang/docs/analyzer/checkers.rst

@@ -3967,6 +3967,23 @@ The goal of this rule is to make sure that lifetime of any dynamically allocated
 
 The rules of when to use and not to use CheckedPtr / CheckedRef are same as alpha.webkit.UncountedCallArgsChecker for ref-counted objects.
 
+alpha.webkit.UncheckedLambdaCapturesChecker
+"""""""""""""""""""""""""""""""""""""""""""
+Raw pointers and references to unchecked types can't be captured in lambdas. Only CheckedPtr or CheckedRef is allowed.
+
+.. code-block:: cpp
+
+ struct CheckedObject {
+   void incrementCheckedPtr() {}
+   void decrementCheckedPtr() {}
+ };
+
+ void foo(CheckedObject* a, CheckedObject& b) {
+   [&, a](){ // warn about 'a'
+     do_something(b); // warn about 'b'
+   };
+ };
+
 alpha.webkit.UnretainedCallArgsChecker
 """"""""""""""""""""""""""""""""""""""
 The goal of this rule is to make sure that lifetime of any dynamically allocated NS or CF objects passed as a call argument keeps its memory region past the end of the call. This applies to call to any function, method, lambda, function pointer or functor. NS or CF objects aren't supposed to be allocated on stack so we check arguments for parameters of raw pointers and references to unretained types.

clang/include/clang/AST/Decl.h

@@ -2049,13 +2049,17 @@ class FunctionDecl : public DeclaratorDecl,
 
   };
 
-  /// Stashed information about a defaulted/deleted function body.
+  /// Stashed information about a defaulted/deleted function body, including
+  /// the active FP pragma overrides (FPOptionsOverride) from the declaration
+  /// site. These overrides are required to correctly synthesize the function
+  /// body.
   class DefaultedOrDeletedFunctionInfo final
       : llvm::TrailingObjects<DefaultedOrDeletedFunctionInfo, DeclAccessPair,
                               StringLiteral *> {
     friend TrailingObjects;
     unsigned NumLookups;
     bool HasDeletedMessage;
+    FPOptionsOverride FPFeatures;
 
     size_t numTrailingObjects(OverloadToken<DeclAccessPair>) const {
       return NumLookups;
@@ -2064,8 +2068,11 @@ class FunctionDecl : public DeclaratorDecl,
   public:
     static DefaultedOrDeletedFunctionInfo *
     Create(ASTContext &Context, ArrayRef<DeclAccessPair> Lookups,
+           FPOptionsOverride FPFeatures,
            StringLiteral *DeletedMessage = nullptr);
 
+    FPOptionsOverride getFPFeatures() const { return FPFeatures; }
+
     /// Get the unqualified lookup results that should be used in this
     /// defaulted function definition.
     ArrayRef<DeclAccessPair> getUnqualifiedLookups() const {