This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_kernel/llvm-master-aarch64-next-defconfig in repository toolchain/ci/llvm-project.
from 9daf51910b1 [Attributor][FIX] Add missing function declaration in test case adds d20f80780e0 [Attributor][FIX] Do not apply h2s for arbitrary mallocs adds af6e4797330 [Attributor][FIX] Ensure h2s doesn't trigger on escaped pointers adds 3753aa75d2f [Attributor][NFC] Expose call site traversal without QueryingAA adds e9d3f708220 [Attributor] Remove unused verification flag adds 4868841ee4f [Attributor][FIX] Remove leftover, now unused, variable adds 4056e7f02a4 [Attributor][FIX] Avoid splitting blocks if possible adds 8fe8adb9f19 [X86] Add v2i64->v2i32/v2i16/v2i8 test cases to the trunc p [...] adds bf57aa2b25c [X86] Enable v4i32->v4i16 and v8i16->v8i8 saturating trunca [...] adds d50cb9ac8ca [X86] Add a one use check on the setcc to the min/max canon [...] adds 82f8f8b44cd [clang-tidy] New checker for not null-terminated result cau [...] adds 0fb5a1ee97a gn build: Merge r374707 adds 2e77fcb05b3 [clang-tidy] bugprone-not-null-terminated-result: Sphinx ad [...] adds adac533d957 [clang-tidy] bugprone-not-null-terminated-result: Sphinx ad [...] adds 3965c76abcc [clang-tidy] bugprone-not-null-terminated-result: checker a [...] adds 78037577f12 [clang-tidy] bugprone-not-null-terminated-result: checker a [...] adds b56989bcc7d [clang-tidy] bugprone-not-null-terminated-result: checker a [...] adds d2b790eb680 [clang-tidy] bugprone-not-null-terminated-result: checker a [...] adds 944a051ebbd IRTranslator - silence static analyzer null dereference war [...] adds 2c775709f6c BlockInCriticalSectionChecker - silence static analyzer dyn [...] adds 51fa7409e7b Make most clangd unittests pass on Windows adds e84916d8917 [X86][AVX] Add i686 avx splat tests adds 6a1f7d6c9ff [clang-format] Proposal for clang-format to give compiler s [...] adds d0b8db9ab8c gn build: (manually) merge r374720 adds 1f92d8b5449 [libc++][test] <=> now has a feature-test macro adds 80e088e1417 [libc++][test] std::variant test cleanup adds e4c58db8bc1 [X86] getTargetShuffleInputs - add KnownUndef/Zero output support adds 3efafd6c38a [X86] SimplifyMultipleUseDemandedBitsForTargetNode - use ge [...] adds 8e2561974d9 [NFC][InstCombine] More test for "sign bit test via shifts" [...] adds 9d80a722d7f Make the last to clangd unit tests pass on Windows. adds f90728c3227 [InstCombine] don't assume 'inbounds' for bitcast deref or [...] adds b32e4664a71 [ConstantFold] fix inconsistent handling of extractelement [...] adds 5d8870bc765 Add missing "REQUIRES: shell" to system-include-extractor.test adds 25eb219959f [X86] Enable use of avx512 saturating truncate instructions [...] adds 11495e5acb5 [X86] getTargetShuffleInputs - Control KnownUndef mask elem [...] adds 22373c595e8 [Docs] Moves Control Flow Document to User Guides adds 7a9fa897ec3 [NFC][InstCombine] Some preparatory cleanup in dropRedundan [...] adds db6efb017f2 [Attributor][FIX] Use check prefix that is actually tested adds 8ee410c75ec [Attributor][MemBehavior] Fallback to the function state fo [...] adds d82385b0491 [Attributor][FIX] NullPointerIsDefined needs the pointer AS [...] adds 0cc2b61943a [Attributor] Shortcut no-return through will-return adds f79716774a0 merge-request.sh: Update 9.0 metabug for 9.0.1 adds 529f4ed401e Improve __builtin_constant_p lowering adds e4300c392de Add a pass to lower is.constant and objectsize intrinsics adds df4fd311286 [NewGVN] Use m_Br to simplify code a bit. (NFC) new c445c0cb0ab Don't run background-index.test on Windows. new 3e54997e777 Make code-action-request.test and request-reply.test pass o [...] new 9f1bb5b9a8e Make symbols.test pass on Windows. new d0bfedf8e50 [X86] Autogenerate complete checks. NFC new 1f1703f5c7a Prefer 'env not' over 'not env' in tests. new a05d254b82c fix typo in 374747 new 61d26556907 convert a test to unix line endings new 282b36c1ce9 convert another test to unix line endings
The 8 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: .../clang-tidy/bugprone/BugproneTidyModule.cpp | 3 + .../clang-tidy/bugprone/CMakeLists.txt | 1 + .../bugprone/NotNullTerminatedResultCheck.cpp | 1007 ++++++++++++++++++ .../bugprone/NotNullTerminatedResultCheck.h | 67 ++ .../clangd/test/Inputs/symbols.test.yaml | 2 +- .../clangd/test/background-index.test | 2 +- .../clangd/test/code-action-request.test | 6 +- clang-tools-extra/clangd/test/log.test | 2 +- clang-tools-extra/clangd/test/request-reply.test | 4 +- clang-tools-extra/clangd/test/symbol-info.test | 28 +- clang-tools-extra/clangd/test/symbols.test | 168 +-- .../clangd/test/system-include-extractor.test | 3 + .../clangd/unittests/DiagnosticsTests.cpp | 10 +- .../clangd/unittests/FindTargetTests.cpp | 16 + .../clangd/unittests/ParsedASTTests.cpp | 3 + .../clangd/unittests/SelectionTests.cpp | 10 +- .../clangd/unittests/SemanticHighlightingTests.cpp | 10 +- .../clangd/unittests/TweakTesting.cpp | 2 + clang-tools-extra/clangd/unittests/TweakTesting.h | 3 + clang-tools-extra/clangd/unittests/TweakTests.cpp | 11 +- clang-tools-extra/clangd/unittests/XRefsTests.cpp | 9 +- clang-tools-extra/docs/ReleaseNotes.rst | 9 + .../checks/bugprone-not-null-terminated-result.rst | 132 +++ clang-tools-extra/docs/clang-tidy/checks/list.rst | 1 + .../not-null-terminated-result-c.h | 39 + .../not-null-terminated-result-cxx.h | 65 ++ ...ll-terminated-result-in-initialization-strlen.c | 84 ++ ...not-null-terminated-result-memcpy-before-safe.c | 71 ++ ...-not-null-terminated-result-memcpy-safe-cxx.cpp | 124 +++ ...-not-null-terminated-result-memcpy-safe-other.c | 112 ++ ...gprone-not-null-terminated-result-memcpy-safe.c | 124 +++ .../bugprone-not-null-terminated-result-strlen.c | 123 +++ .../bugprone-not-null-terminated-result-wcslen.cpp | 111 ++ ...not-null-terminated-result-wmemcpy-safe-cxx.cpp | 111 ++ clang/lib/CodeGen/CGBuiltin.cpp | 4 - .../Checkers/BlockInCriticalSectionChecker.cpp | 2 +- clang/test/CodeGen/builtin-constant-p.c | 127 +-- clang/test/CodeGen/ppc-emmintrin.c | 36 +- clang/test/CodeGen/ppc-tmmintrin.c | 3 +- clang/test/Driver/crash-report-crashfile.m | 8 +- clang/test/Driver/crash-report-null.test | 2 +- clang/test/Format/dry-run-alias.cpp | 4 + clang/test/Format/dry-run.cpp | 4 + clang/test/Modules/crash-vfs-headermaps.m | 4 +- clang/test/Modules/crash-vfs-include-pch.m | 4 +- clang/test/Modules/crash-vfs-ivfsoverlay.m | 4 +- .../test/Modules/crash-vfs-path-emptydir-entries.m | 4 +- .../Modules/crash-vfs-path-symlink-component.m | 4 +- .../Modules/crash-vfs-path-symlink-topheader.m | 4 +- clang/test/Modules/crash-vfs-path-traversal.m | 4 +- clang/test/Modules/crash-vfs-relative-incdir.m | 4 +- clang/test/Modules/crash-vfs-relative-overlay.m | 4 +- clang/test/Modules/crash-vfs-run-reproducer.m | 4 +- clang/test/Modules/crash-vfs-umbrella-frameworks.m | 4 +- .../auto-detect-from-source-parent-of-cwd.cpp | 2 +- clang/test/Tooling/clang-check-pwd.cpp | 2 +- clang/tools/clang-format/CMakeLists.txt | 1 + clang/tools/clang-format/ClangFormat.cpp | 240 +++-- .../variant.variant/variant.assign/conv.pass.cpp | 1 + .../variant.variant/variant.assign/copy.pass.cpp | 2 +- .../variant.variant/variant.assign/move.pass.cpp | 2 +- .../variant.variant/variant.ctor/conv.pass.cpp | 3 +- .../variant.mod/emplace_index_args.pass.cpp | 2 +- .../variant.mod/emplace_type_args.pass.cpp | 2 +- libcxx/test/support/test_macros.h | 5 +- .../transforms/scalar_opts/llvm_scalar_opts.mli | 5 + .../transforms/scalar_opts/scalar_opts_ocaml.c | 6 + llvm/docs/Reference.rst | 17 +- llvm/docs/UserGuides.rst | 4 + llvm/include/llvm-c/Transforms/Scalar.h | 3 + llvm/include/llvm/InitializePasses.h | 1 + llvm/include/llvm/LinkAllPasses.h | 1 + llvm/include/llvm/Transforms/IPO/Attributor.h | 15 + llvm/include/llvm/Transforms/Scalar.h | 7 + .../Transforms/Scalar/LowerConstantIntrinsics.h | 41 + llvm/lib/CodeGen/CodeGenPrepare.cpp | 22 +- llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp | 21 +- llvm/lib/CodeGen/SelectionDAG/FastISel.cpp | 24 +- .../CodeGen/SelectionDAG/SelectionDAGBuilder.cpp | 24 +- llvm/lib/CodeGen/TargetPassConfig.cpp | 1 + llvm/lib/IR/ConstantFold.cpp | 9 +- llvm/lib/Passes/PassBuilder.cpp | 3 + llvm/lib/Passes/PassRegistry.def | 1 + llvm/lib/Target/X86/X86ISelLowering.cpp | 170 +-- llvm/lib/Transforms/IPO/Attributor.cpp | 220 ++-- llvm/lib/Transforms/IPO/PassManagerBuilder.cpp | 1 + .../Transforms/InstCombine/InstCombineCasts.cpp | 12 +- .../Transforms/InstCombine/InstCombineShifts.cpp | 44 +- llvm/lib/Transforms/Scalar/CMakeLists.txt | 1 + .../Transforms/Scalar/LowerConstantIntrinsics.cpp | 170 +++ llvm/lib/Transforms/Scalar/NewGVN.cpp | 10 +- llvm/lib/Transforms/Scalar/Scalar.cpp | 5 + .../AArch64/GlobalISel/arm64-irtranslator.ll | 17 - llvm/test/CodeGen/AArch64/O0-pipeline.ll | 1 + llvm/test/CodeGen/AArch64/O3-pipeline.ll | 1 + llvm/test/CodeGen/ARM/O3-pipeline.ll | 1 + llvm/test/CodeGen/Generic/is-constant.ll | 114 -- llvm/test/CodeGen/X86/O0-pipeline.ll | 1 + llvm/test/CodeGen/X86/O3-pipeline.ll | 1 + llvm/test/CodeGen/X86/avx-splat.ll | 165 ++- llvm/test/CodeGen/X86/avx512-trunc.ll | 20 +- llvm/test/CodeGen/X86/h-registers-0.ll | 174 ++- llvm/test/CodeGen/X86/h-registers-3.ll | 49 +- llvm/test/CodeGen/X86/is-constant.ll | 50 - llvm/test/CodeGen/X86/masked_store_trunc_ssat.ll | 76 +- llvm/test/CodeGen/X86/masked_store_trunc_usat.ll | 92 +- llvm/test/CodeGen/X86/midpoint-int.ll | 605 +++++------ llvm/test/CodeGen/X86/object-size.ll | 55 - llvm/test/CodeGen/X86/vector-trunc-packus.ll | 1090 +++++++++++++++++-- llvm/test/CodeGen/X86/vector-trunc-ssat.ll | 1118 +++++++++++++++++--- llvm/test/CodeGen/X86/vector-trunc-usat.ll | 848 +++++++++++++-- llvm/test/Other/new-pm-defaults.ll | 1 + llvm/test/Other/new-pm-thinlto-defaults.ll | 1 + llvm/test/Other/opt-O2-pipeline.ll | 2 + llvm/test/Other/opt-O3-pipeline.ll | 2 + llvm/test/Other/opt-Os-pipeline.ll | 2 + .../CodeGenPrepare/X86/overflow-intrinsics.ll | 20 - .../Transforms/CodeGenPrepare/builtin-condition.ll | 123 --- llvm/test/Transforms/ConstProp/InsertElement.ll | 2 +- llvm/test/Transforms/FunctionAttrs/arg_returned.ll | 20 +- .../Transforms/FunctionAttrs/dereferenceable.ll | 6 +- llvm/test/Transforms/FunctionAttrs/fn_noreturn.ll | 14 +- .../test/Transforms/FunctionAttrs/heap_to_stack.ll | 124 ++- .../Transforms/FunctionAttrs/internal-noalias.ll | 2 +- llvm/test/Transforms/FunctionAttrs/liveness.ll | 6 +- .../Transforms/FunctionAttrs/noalias_returned.ll | 2 +- llvm/test/Transforms/FunctionAttrs/nocapture.ll | 22 +- llvm/test/Transforms/FunctionAttrs/nonnull.ll | 11 +- llvm/test/Transforms/FunctionAttrs/norecurse.ll | 2 +- .../Transforms/FunctionAttrs/noreturn_async.ll | 10 +- .../test/Transforms/FunctionAttrs/noreturn_sync.ll | 6 +- llvm/test/Transforms/FunctionAttrs/nounwind.ll | 2 +- .../read_write_returned_arguments_scc.ll | 2 +- llvm/test/Transforms/FunctionAttrs/readattrs.ll | 2 +- .../Transforms/InstCombine/load-bitcast-vec.ll | 4 +- .../shift-amount-reassociation-in-bittest.ll | 8 + ...ft-amount-reassociation-with-truncation-ashr.ll | 26 +- ...ft-amount-reassociation-with-truncation-lshr.ll | 26 +- ...ift-amount-reassociation-with-truncation-shl.ll | 8 +- .../InstCombine/shift-amount-reassociation.ll | 116 ++ ...n-bit-test-via-right-shifting-all-other-bits.ll | 206 +++- .../LowerConstantIntrinsics/constant-intrinsics.ll | 114 ++ .../crash-on-large-allocas.ll | 2 +- .../objectsize_basic.ll} | 17 +- .../clang-tools-extra/clang-tidy/bugprone/BUILD.gn | 1 + .../gn/secondary/clang/tools/clang-format/BUILD.gn | 1 + .../secondary/llvm/lib/Transforms/Scalar/BUILD.gn | 1 + llvm/utils/release/merge-request.sh | 2 +- 148 files changed, 7217 insertions(+), 1984 deletions(-) create mode 100644 clang-tools-extra/clang-tidy/bugprone/NotNullTerminatedResultCheck.cpp create mode 100644 clang-tools-extra/clang-tidy/bugprone/NotNullTerminatedResultCheck.h create mode 100644 clang-tools-extra/docs/clang-tidy/checks/bugprone-not-null-term [...] create mode 100644 clang-tools-extra/test/clang-tidy/Inputs/bugprone-not-null-term [...] create mode 100644 clang-tools-extra/test/clang-tidy/Inputs/bugprone-not-null-term [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang-tools-extra/test/clang-tidy/bugprone-not-null-terminated- [...] create mode 100644 clang/test/Format/dry-run-alias.cpp create mode 100644 clang/test/Format/dry-run.cpp create mode 100644 llvm/include/llvm/Transforms/Scalar/LowerConstantIntrinsics.h create mode 100644 llvm/lib/Transforms/Scalar/LowerConstantIntrinsics.cpp delete mode 100644 llvm/test/CodeGen/Generic/is-constant.ll delete mode 100644 llvm/test/CodeGen/X86/is-constant.ll delete mode 100644 llvm/test/CodeGen/X86/object-size.ll delete mode 100644 llvm/test/Transforms/CodeGenPrepare/builtin-condition.ll create mode 100644 llvm/test/Transforms/LowerConstantIntrinsics/constant-intrinsics.ll rename llvm/test/Transforms/{CodeGenPrepare => LowerConstantIntrinsics}/crash-on-l [...] rename llvm/test/Transforms/{CodeGenPrepare/basic.ll => LowerConstantIntrinsics/ob [...]