[clang] Add clang/docs/FunctionEffectAnalysis.rst. (PR #109855)

2024-09-25 Thread Chris Apple via cfe-commits
@@ -0,0 +1,503 @@ + +Function Effect Analysis + + +Introduction + + +Clang Function Effect Analysis is a C++ language extension which can warn about "unsafe" cjappl wrote: It is not only C++, but also w

[clang] Add clang/docs/FunctionEffectAnalysis.rst. (PR #109855)

2024-09-25 Thread Chris Apple via cfe-commits
https://github.com/cjappl edited https://github.com/llvm/llvm-project/pull/109855 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][CodeGen][SPIR-V] Fix incorrect SYCL usage, implement missing interface (PR #109415)

2024-09-25 Thread Alex Voicu via cfe-commits
AlexVlx wrote: > > > Are there any tests available to check this behavior? > > > > > > The reworked tests do verify / rely on this behaviour, but I can add an > > individual test for both vanilla and AMDGCN flavoured SPIR-V, if that is > > preferred (might be better anyway). > > Thanks @Alex

[clang] [llvm] [OpenMP][Clang] Migrate OpenMP UserDefinedMapper from Clang to OMPIRBuilder (PR #110001)

2024-09-25 Thread Akash Banerjee via cfe-commits
https://github.com/TIFitis created https://github.com/llvm/llvm-project/pull/110001 This patch migrates the OpenMP UserDefinedMapper codegen from Clang to the OpenMPIRBuilder. I will be adding further patches in the near future so that OpenMP dialect in MLIR can make use of these. >From 387ac

[clang] [llvm] [OpenMP][Clang] Migrate OpenMP UserDefinedMapper from Clang to OMPIRBuilder (PR #110001)

2024-09-25 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Akash Banerjee (TIFitis) Changes This patch migrates the OpenMP UserDefinedMapper codegen from Clang to the OpenMPIRBuilder. I will be adding further patches in the near future so that OpenMP dialect in MLIR can make use of these. --- P

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -194,3 +199,99 @@ char test_comparison_with_extent_symbol(struct incomplete *p) { return ((char *)p)[-1]; // no-warning } +// WeakLoopAssumption suppression +/// + +int GlobalArray[100]; +int loop_suppre

[clang] Fix "[AArch64] Implement intrinsics for SME2 FSCALE" (PR #109999)

2024-09-25 Thread via cfe-commits
https://github.com/Lukacma created https://github.com/llvm/llvm-project/pull/10 This patch fixes failure in acle_sme2_fp8_scale.c test >From b79acfa1a4a6eadd6fd39c223143f026cdb027bc Mon Sep 17 00:00:00 2001 From: Marian Lukac Date: Wed, 25 Sep 2024 14:59:30 + Subject: [PATCH] Fix "

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -194,3 +199,99 @@ char test_comparison_with_extent_symbol(struct incomplete *p) { return ((char *)p)[-1]; // no-warning } +// WeakLoopAssumption suppression +/// + +int GlobalArray[100]; +int loop_suppre

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -194,3 +199,99 @@ char test_comparison_with_extent_symbol(struct incomplete *p) { return ((char *)p)[-1]; // no-warning } +// WeakLoopAssumption suppression +/// + +int GlobalArray[100]; +int loop_suppre

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Kiran Chandramohan via cfe-commits
@@ -0,0 +1,23 @@ +! Check -B driver option. +! +! Target triple prefix is not detected for -B. +! RUN: %flang %s -### -o %t.o -target i386-unknown-linux \ +! RUN: -B %S/Inputs/B_opt_tree/dir1 -fuse-ld=ld 2>&1 \ +! RUN: | FileCheck --check-prefix=CHECK-B-OPT-TRIPLE %s +! CHEC

[clang] [clang][CodeGen][SPIR-V] Fix incorrect SYCL usage, implement missing interface (PR #109415)

2024-09-25 Thread Vyacheslav Levytskyy via cfe-commits
https://github.com/VyacheslavLevytskyy approved this pull request. https://github.com/llvm/llvm-project/pull/109415 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Clang] Add "extend lifetime" flags and release note (PR #110000)

2024-09-25 Thread Stephen Tozer via cfe-commits
https://github.com/SLTozer edited https://github.com/llvm/llvm-project/pull/11 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] Add clang/docs/FunctionEffectAnalysis.rst. (PR #109855)

2024-09-25 Thread Chris Apple via cfe-commits
https://github.com/cjappl commented: (partial review, will do another pass later today -- overall looks great so far) https://github.com/llvm/llvm-project/pull/109855 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bi

[clang] [clang][CodeGen][SPIR-V] Fix incorrect SYCL usage, implement missing interface (PR #109415)

2024-09-25 Thread Alex Voicu via cfe-commits
https://github.com/AlexVlx updated https://github.com/llvm/llvm-project/pull/109415 >From 75ca598c7e8a583545f50ee2c526556df261cc7f Mon Sep 17 00:00:00 2001 From: Alex Voicu Date: Fri, 20 Sep 2024 13:25:49 +0100 Subject: [PATCH 1/2] Implement `getGlobalVarAddressSpace` for SPIR-V; stop using SY

[clang] [llvm] [AArch64] Implement intrinsics for SME2 FSCALE (PR #100128)

2024-09-25 Thread via cfe-commits
Lukacma wrote: There is a fix for it ready in #10. Just waiting for the build to finish before merging. https://github.com/llvm/llvm-project/pull/100128 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman

[clang] [llvm] [AMDGPU] Convert AMDGPUResourceUsageAnalysis pass from Module to MF pass (PR #102913)

2024-09-25 Thread Matt Arsenault via cfe-commits
@@ -78,15 +78,15 @@ void MCResourceInfo::finalize(MCContext &OutContext) { } MCSymbol *MCResourceInfo::getMaxVGPRSymbol(MCContext &OutContext) { - return OutContext.getOrCreateSymbol("max_num_vgpr"); + return OutContext.getOrCreateSymbol("amdgcn.max_num_vgpr"); -

[clang] [llvm] [ARM] Fix musttail calls (PR #109943)

2024-09-25 Thread Oliver Stannard via cfe-commits
https://github.com/ostannard created https://github.com/llvm/llvm-project/pull/109943 This is a continuation of #102896 by @kiran-isaac, which gets the `[[clang::musttail]]` attribute working for as many cases as possible in the ARM backend. This includes one target-independent LangRef change

[libcxx] [libcxxabi] [libunwind] [llvm] [runtimes] Run backdeployment CI on Github hosted runners (PR #109984)

2024-09-25 Thread Louis Dionne via cfe-commits
https://github.com/ldionne updated https://github.com/llvm/llvm-project/pull/109984 >From b03b189897358070290549af67bfd3705ec3c203 Mon Sep 17 00:00:00 2001 From: Louis Dionne Date: Wed, 25 Sep 2024 09:55:53 -0400 Subject: [PATCH 1/2] [runtimes] Run backdeployment CI on Github hosted runners Th

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -212,6 +212,25 @@ typedef llvm::ImmutableMap REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingArrayDestruction, PendingArrayDestructionMap) +// This trait is used to heuristically filter out results produced from +// execution paths that took "weak"

[libclc] [libclc] Create an internal 'clc' builtins library (PR #109985)

2024-09-25 Thread Fraser Cormack via cfe-commits
https://github.com/frasercrmck created https://github.com/llvm/llvm-project/pull/109985 Some libclc builtins currently use internal builtins prefixed with '__clc_' for various reasons, e.g., to avoid naming clashes. This commit formalizes this concept by starting to isolate the definitions of t

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -323,12 +342,13 @@ class ExprEngine { /// ProcessBranch - Called by CoreEngine. Used to generate successor /// nodes by processing the 'effects' of a branch condition. - void processBranch(const Stmt *Condition, - NodeBuilderContext& BuilderCtx, -

[libcxx] [libcxxabi] [libunwind] [llvm] [runtimes] Run backdeployment CI on Github hosted runners (PR #109984)

2024-09-25 Thread Louis Dionne via cfe-commits
https://github.com/ldionne created https://github.com/llvm/llvm-project/pull/109984 This removes the need for macOS nodes in Buildkite. It also moves to the proper way of testing backdeployment, which is to actually run on the target OS itself, instead of using packaged dylibs from previous OS

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -583,11 +603,11 @@ class ExprEngine { ExplodedNode *Pred, ExplodedNodeSet &Dst); - /// evalEagerlyAssumeBinOpBifurcation - Given the nodes in 'Src', eagerly assume symbolic - /// expressions of the form 'x

[clang] [RISCV][FMV] Support target_version (PR #99040)

2024-09-25 Thread Piyou Chen via cfe-commits
@@ -3056,6 +3056,47 @@ bool Sema::checkTargetVersionAttr(SourceLocation LiteralLoc, Decl *D, enum SecondParam { None }; enum ThirdParam { Target, TargetClones, TargetVersion }; llvm::SmallVector Features; + if (Context.getTargetInfo().getTriple().isRISCV()) { +

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] [llvm] [AArch64] Implement intrinsics for SME2 FSCALE (PR #100128)

2024-09-25 Thread LLVM Continuous Integration via cfe-commits
llvm-ci wrote: LLVM Buildbot has detected a new failure on builder `llvm-clang-aarch64-darwin` running on `doug-worker-4` while building `clang,llvm` at step 6 "test-build-unified-tree-check-all". Full details are available at: https://lab.llvm.org/buildbot/#/builders/190/builds/6495 Here i

[libcxx] [libcxxabi] [libunwind] [llvm] [runtimes] Run backdeployment CI on Github hosted runners (PR #109984)

2024-09-25 Thread Louis Dionne via cfe-commits
https://github.com/ldionne updated https://github.com/llvm/llvm-project/pull/109984 >From b03b189897358070290549af67bfd3705ec3c203 Mon Sep 17 00:00:00 2001 From: Louis Dionne Date: Wed, 25 Sep 2024 09:55:53 -0400 Subject: [PATCH 1/3] [runtimes] Run backdeployment CI on Github hosted runners Th

[libclc] [libclc] Create an internal 'clc' builtins library (PR #109985)

2024-09-25 Thread via cfe-commits
github-actions[bot] wrote: :warning: C/C++ code formatter, clang-format found issues in your code. :warning: You can test this locally with the following command: ``bash git-clang-format --diff 22829f757dc76b23071d9438ae9c6ddc3e966db0 e7a70c3ad35da7a36a68e7351a8424a21ce7b1ed --e

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -697,6 +697,11 @@ void ArrayBoundCheckerV2::reportOOB(CheckerContext &C, ProgramStateRef ErrorState, Messages Msgs, NonLoc Offset, std::optional Extent, bool IsTaintB

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -212,6 +212,25 @@ typedef llvm::ImmutableMap REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingArrayDestruction, PendingArrayDestructionMap) +// This trait is used to heuristically filter out results produced from +// execution paths that took "weak"

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] [Clang] Automatically link the `compiler-rt` for GPUs if present (PR #109152)

2024-09-25 Thread Jan Patrick Lehr via cfe-commits
https://github.com/jplehr approved this pull request. I think this is a reasonable change. https://github.com/llvm/llvm-project/pull/109152 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-comm

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] [compiler-rt] [llvm] [AArch64] Split FeatureMTE to FEAT_MTE and FEAT_MTE2. (PR #109299)

2024-09-25 Thread Alexandros Lamprineas via cfe-commits
labrinea wrote: > From the patch it is clear all CPUs that implement MTE only support MTE2 - > and it seems unlikely this will change. Not quite true. I didn't change those CPU entries to keep the behavior NFC, which may have been a mistake actually. The reference manual suggests that Neovers

[libclc] [libclc] Create an internal 'clc' builtins library (PR #109985)

2024-09-25 Thread Fraser Cormack via cfe-commits
https://github.com/frasercrmck updated https://github.com/llvm/llvm-project/pull/109985 >From b01eadcda29e2df283c978901ea9616ebebd44aa Mon Sep 17 00:00:00 2001 From: Fraser Cormack Date: Mon, 23 Sep 2024 12:54:02 +0100 Subject: [PATCH 1/2] [libclc] Split off library build system into helpers T

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] [llvm] [ARM] Fix musttail calls (PR #109943)

2024-09-25 Thread Oliver Stannard via cfe-commits
ostannard wrote: Another crash bug in ARM musttail: #109943 https://github.com/llvm/llvm-project/pull/109943 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[libcxx] [libcxxabi] [libunwind] [llvm] [runtimes] Run backdeployment CI on Github hosted runners (PR #109984)

2024-09-25 Thread Louis Dionne via cfe-commits
https://github.com/ldionne updated https://github.com/llvm/llvm-project/pull/109984 >From b03b189897358070290549af67bfd3705ec3c203 Mon Sep 17 00:00:00 2001 From: Louis Dionne Date: Wed, 25 Sep 2024 09:55:53 -0400 Subject: [PATCH 1/4] [runtimes] Run backdeployment CI on Github hosted runners Th

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition, std::tie(StTrue, StFalse) = *KnownCondValueAssumption; else { assert(!isa(Condition)); + // TODO: instead of this shortcut perhaps it would be better to "rejoin" + // the com

[clang] a024a0c - [clang][bytecode] Override InConstantContext flag for immediate calls (#109967)

2024-09-25 Thread via cfe-commits
Author: Timm Baeder Date: 2024-09-25T16:46:46+02:00 New Revision: a024a0ceedae886c254b496c9321f9ef253cd7f8 URL: https://github.com/llvm/llvm-project/commit/a024a0ceedae886c254b496c9321f9ef253cd7f8 DIFF: https://github.com/llvm/llvm-project/commit/a024a0ceedae886c254b496c9321f9ef253cd7f8.diff L

[clang] [clang][bytecode] Override InConstantContext flag for immediate calls (PR #109967)

2024-09-25 Thread Timm Baeder via cfe-commits
https://github.com/tbaederr closed https://github.com/llvm/llvm-project/pull/109967 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 74dcf0b - [SystemZ][z/OS] Open text files in text mode (#109972)

2024-09-25 Thread via cfe-commits
Author: Abhina Sree Date: 2024-09-25T10:49:45-04:00 New Revision: 74dcf0b595d4d230f65a7bba7b0164c019d3c08b URL: https://github.com/llvm/llvm-project/commit/74dcf0b595d4d230f65a7bba7b0164c019d3c08b DIFF: https://github.com/llvm/llvm-project/commit/74dcf0b595d4d230f65a7bba7b0164c019d3c08b.diff L

[clang] [clang][CodeGen][SPIR-V] Fix incorrect SYCL usage, implement missing interface (PR #109415)

2024-09-25 Thread Arvind Sudarsanam via cfe-commits
asudarsa wrote: > > Are there any tests available to check this behavior? > > The reworked tests do verify / rely on this behaviour, but I can add an > individual test for both vanilla and AMDGCN flavoured SPIR-V, if that is > preferred (might be better anyway). Thanks @AlexVlx I will approv

[clang] [clang][CodeGen][SPIR-V] Fix incorrect SYCL usage, implement missing interface (PR #109415)

2024-09-25 Thread Arvind Sudarsanam via cfe-commits
https://github.com/asudarsa approved this pull request. LGTM. Addition of new tests can be done in this PR or a follow-up PR. Thanks https://github.com/llvm/llvm-project/pull/109415 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -3776,6 +3829,11 @@ void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ProgramStateRef StateTrue, StateFalse; std::tie(StateTrue, StateFalse) = state->assume(*SEV); + if (StateTrue && StateFalse) { +StateTrue = StateTrue->set(

[clang-tools-extra] [clang-tidy] exclude CXXParenListInitExpr from RedundantCastingCheck (PR #109741)

2024-09-25 Thread Tommy Chen via cfe-commits
https://github.com/dl8sd11 updated https://github.com/llvm/llvm-project/pull/109741 >From 13bc00c2ffb4238903b57c0a3c77424ed35279cc Mon Sep 17 00:00:00 2001 From: dl8sd11 Date: Mon, 23 Sep 2024 17:52:25 + Subject: [PATCH 1/6] [clang-tidy] eclude CXXParenListInitExpr Exclude CXXParenListInit

[clang] 9718949 - The real option name and not the alias used is displayed in msgs when using a config file (#107613)

2024-09-25 Thread via cfe-commits
Author: Sean Perry Date: 2024-09-25T10:51:55-04:00 New Revision: 97189492a1a75d39c09b0a54982f2a028c9bd652 URL: https://github.com/llvm/llvm-project/commit/97189492a1a75d39c09b0a54982f2a028c9bd652 DIFF: https://github.com/llvm/llvm-project/commit/97189492a1a75d39c09b0a54982f2a028c9bd652.diff LO

[clang] The real option name and not the alias used is displayed in msgs when using a config file (PR #107613)

2024-09-25 Thread Sean Perry via cfe-commits
https://github.com/perry-ca closed https://github.com/llvm/llvm-project/pull/107613 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [SystemZ][z/OS] Open text files in text mode (PR #109972)

2024-09-25 Thread Abhina Sree via cfe-commits
https://github.com/abhina-sree closed https://github.com/llvm/llvm-project/pull/109972 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 11c423f - [clang-tidy] Add support for bsl::optional (#101450)

2024-09-25 Thread via cfe-commits
Author: Chris Cotter Date: 2024-09-25T10:54:31-04:00 New Revision: 11c423f9bebc3be2775ca8120e8775be836c URL: https://github.com/llvm/llvm-project/commit/11c423f9bebc3be2775ca8120e8775be836c DIFF: https://github.com/llvm/llvm-project/commit/11c423f9bebc3be2775ca8120e8775be836c.diff

[clang] [clang-tools-extra] [clang-tidy] Add support for bsl::optional (PR #101450)

2024-09-25 Thread Nicolas van Kempen via cfe-commits
https://github.com/nicovank closed https://github.com/llvm/llvm-project/pull/101450 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang-tools-extra] [clang-tidy] exclude CXXParenListInitExpr from RedundantCastingCheck (PR #109741)

2024-09-25 Thread Tommy Chen via cfe-commits
@@ -1,8 +1,8 @@ -// RUN: %check_clang_tidy -std=c++11-or-later %s readability-redundant-casting %t -- -- -fno-delayed-template-parsing -// RUN: %check_clang_tidy -std=c++11-or-later -check-suffix=,MACROS %s readability-redundant-casting %t -- \ +// RUN: %check_clang_tidy -std=c+

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -194,3 +199,99 @@ char test_comparison_with_extent_symbol(struct incomplete *p) { return ((char *)p)[-1]; // no-warning } +// WeakLoopAssumption suppression +/// + +int GlobalArray[100]; +int loop_suppre

[clang] [llvm] [ADT][NFC] Simplify SmallSet (PR #109412)

2024-09-25 Thread LLVM Continuous Integration via cfe-commits
llvm-ci wrote: LLVM Buildbot has detected a new failure on builder `clang-hip-vega20` running on `hip-vega20-0` while building `clang,llvm` at step 3 "annotate". Full details are available at: https://lab.llvm.org/buildbot/#/builders/123/builds/6362 Here is the relevant piece of the build lo

[clang] [Driver] Enable ASan on Solaris/SPARC (PR #107403)

2024-09-25 Thread Rainer Orth via cfe-commits
https://github.com/rorth edited https://github.com/llvm/llvm-project/pull/107403 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Driver] Enable ASan on Solaris/SPARC (PR #107403)

2024-09-25 Thread Rainer Orth via cfe-commits
rorth wrote: > Curios, why Asan when there is Sparc ADI? Various reasons: - Because I can, and `gcc` already does ;-) - Symmetry with other targets. - ADI is 64-bit only, while ASan could support both 32 and 64-bit (currently only the former, though). - ADI toolchain support is quite mixed righ

[clang] Reland: [clang] Diagnose dangling issues for the "Container" case. #107213 (PR #108344)

2024-09-25 Thread Haojian Wu via cfe-commits
https://github.com/hokein edited https://github.com/llvm/llvm-project/pull/108344 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Kiran Chandramohan via cfe-commits
https://github.com/kiranchandramohan created https://github.com/llvm/llvm-project/pull/109965 The option provides the search prefix for executables, libraries and data files. The option is implemented in the common portion of the Driver and only needs to be enabled in Flang. Test added is a co

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Kiran Chandramohan (kiranchandramohan) Changes The option provides the search prefix for executables, libraries and data files. The option is implemented in the common portion of the Driver and only needs to be enabled in Flang. Test adde

[clang] [clang-format] Fix a bug in annotating angles containing FatArrow (PR #108671)

2024-09-25 Thread kadir çetinkaya via cfe-commits
@@ -243,14 +244,16 @@ class AnnotatingParser { // operator that was misinterpreted because we are parsing template // parameters. // FIXME: This is getting out of hand, write a decent parser. - if (InExpr && !Line.startsWith(tok::kw_template) && + if

[clang] fe06a6d - Reland: [clang] Diagnose dangling issues for the "Container" case. #107213 (#108344)

2024-09-25 Thread via cfe-commits
Author: Haojian Wu Date: 2024-09-25T14:12:49+02:00 New Revision: fe06a6daae6be85d47cd1e51654e91f9ac6e63d7 URL: https://github.com/llvm/llvm-project/commit/fe06a6daae6be85d47cd1e51654e91f9ac6e63d7 DIFF: https://github.com/llvm/llvm-project/commit/fe06a6daae6be85d47cd1e51654e91f9ac6e63d7.diff LO

[clang] Reland: [clang] Diagnose dangling issues for the "Container" case. #107213 (PR #108344)

2024-09-25 Thread Haojian Wu via cfe-commits
https://github.com/hokein closed https://github.com/llvm/llvm-project/pull/108344 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [AMDGPU] Infer amdgpu-no-flat-scratch-init attribute in AMDGPUAttributor (PR #94647)

2024-09-25 Thread Matt Arsenault via cfe-commits
@@ -434,6 +434,15 @@ struct AAAMDAttributesFunction : public AAAMDAttributes { indicatePessimisticFixpoint(); return; } + +for (Instruction &I : instructions(F)) { + if (isa(I) && arsenm wrote: 5->3 is an illegal address space cast, bu

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread via cfe-commits
github-actions[bot] wrote: :warning: C/C++ code formatter, clang-format found issues in your code. :warning: You can test this locally with the following command: ``bash git-clang-format --diff a6bdf3face377ee7ea84a02bada8a7e2ff380fe8 a0cd82be4e7e2343a0116e7707bf658ecc87c96a --e

[clang] [llvm] [Clang][LLVM][AArch64] Add intrinsic for LUTI4 SME2 instruction (#97755) (PR #109953)

2024-09-25 Thread via cfe-commits
https://github.com/CarolineConcatto updated https://github.com/llvm/llvm-project/pull/109953 >From bef293187f32e4e197035eda299f73a5fd8f8684 Mon Sep 17 00:00:00 2001 From: CarolineConcatto Date: Wed, 25 Sep 2024 09:53:23 +0100 Subject: [PATCH] [Clang][LLVM][AArch64] Add intrinsic for LUTI4 SME2

[clang] [ItaniumMangle] Use mangleType instead of mangleNameOrStandardSubstitution in mangleCXXCtorVTable function (PR #109970)

2024-09-25 Thread via cfe-commits
https://github.com/tcwzxx edited https://github.com/llvm/llvm-project/pull/109970 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Clang][LLVM][AArch64] Add intrinsic for LUTI4 SME2 instruction (PR #97755)

2024-09-25 Thread LLVM Continuous Integration via cfe-commits
llvm-ci wrote: LLVM Buildbot has detected a new failure on builder `premerge-monolithic-linux` running on `premerge-linux-1` while building `clang,llvm` at step 7 "test-build-unified-tree-check-all". Full details are available at: https://lab.llvm.org/buildbot/#/builders/153/builds/10010 He

[clang] [llvm] [SystemZ][z/OS] Open text files in text mode (PR #109972)

2024-09-25 Thread via cfe-commits
github-actions[bot] wrote: :warning: C/C++ code formatter, clang-format found issues in your code. :warning: You can test this locally with the following command: ``bash git-clang-format --diff 12285cca5ed713dfd483bd96422a5607b8af0085 3325960ce7b1da97c7ab6b8d24686dec349dae4d --e

[clang] [llvm] [SystemZ][z/OS] Open text files in text mode (PR #109972)

2024-09-25 Thread Abhina Sree via cfe-commits
https://github.com/abhina-sree updated https://github.com/llvm/llvm-project/pull/109972 >From 0dd3d22bfa419a70fe91c6b1b0c277d7cb21a51e Mon Sep 17 00:00:00 2001 From: Abhina Sreeskantharajan Date: Wed, 25 Sep 2024 08:42:10 -0400 Subject: [PATCH] [SystemZ][z/OS] Open text files in text mode ---

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Tom Eccles via cfe-commits
https://github.com/tblah approved this pull request. LGTM https://github.com/llvm/llvm-project/pull/109965 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Tom Eccles via cfe-commits
https://github.com/tblah edited https://github.com/llvm/llvm-project/pull/109965 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Tom Eccles via cfe-commits
@@ -0,0 +1,23 @@ +! Check -B driver option. +! +! Target triple prefix is not detected for -B. +! RUN: %flang %s -### -o %t.o -target i386-unknown-linux \ +! RUN: -B %S/Inputs/B_opt_tree/dir1 -fuse-ld=ld 2>&1 \ +! RUN: | FileCheck --check-prefix=CHECK-B-OPT-TRIPLE %s +! CHEC

[clang] [flang] [Flang][Driver][Offload] Support -Xoffload-linker argument in Flang (PR #109907)

2024-09-25 Thread Tom Eccles via cfe-commits
tblah wrote: The CI failures look relevant. The problem isn't immediately apparent to me from the diff (which looks good to me). https://github.com/llvm/llvm-project/pull/109907 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llv

[clang] [clang][bytecode] Override InConstantContext flag for immediate calls (PR #109967)

2024-09-25 Thread Timm Baeder via cfe-commits
https://github.com/tbaederr updated https://github.com/llvm/llvm-project/pull/109967 >From 29429e66580e242c4e6f1a9a86e9c0a5182b72fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= Date: Wed, 25 Sep 2024 13:50:19 +0200 Subject: [PATCH] [clang][bytecode] Override InConstantContext fl

[clang] [llvm] Implement operand bundles for floating-point operations (PR #109798)

2024-09-25 Thread Kevin P. Neal via cfe-commits
kpneal wrote: > > If we can't keep the constrained semantics and near-100% guarantee that no > > new exceptions will be introduced then operand bundles are not a > > replacement for the constrained intrinsics. > > We would still need a call / function attribute to indicate strictfp calls, > a

[clang] [libclang/python] Improve test coverage (PR #109846)

2024-09-25 Thread Vlad Serebrennikov via cfe-commits
@@ -357,6 +359,50 @@ def test_is_restrict_qualified(self): self.assertTrue(i.type.is_restrict_qualified()) self.assertFalse(j.type.is_restrict_qualified()) +def test_get_result(self): +tu = get_tu("void foo(); int bar(char, short);") +foo =

[clang] [llvm] Implement operand bundles for floating-point operations (PR #109798)

2024-09-25 Thread Matt Arsenault via cfe-commits
arsenm wrote: > If we can't keep the constrained semantics and near-100% guarantee that no > new exceptions will be introduced then operand bundles are not a replacement > for the constrained intrinsics. We would still need a call / function attribute to indicate strictfp calls, and such call

[clang] [llvm] [AMDGPU] Convert AMDGPUResourceUsageAnalysis pass from Module to MF pass (PR #102913)

2024-09-25 Thread Matt Arsenault via cfe-commits
https://github.com/arsenm approved this pull request. I think we need more thought about how the ABI for this will work, but we need to start somewhere https://github.com/llvm/llvm-project/pull/102913 ___ cfe-commits mailing list cfe-commits@lists.ll

[clang] [flang] [Flang][Driver][Offload] Support -Xoffload-linker argument in Flang (PR #109907)

2024-09-25 Thread Joseph Huber via cfe-commits
jhuber6 wrote: Maybe it's the double dashes after the check? I guess while we're at it might as well check the `-Xoffload-linker-amdgcn-amd-amdhsa` format as well. https://github.com/llvm/llvm-project/pull/109907 ___ cfe-commits mailing list cfe-commi

[clang] [Clang] prevent recovery call expression from proceeding with explicit attributes and undeclared templates (PR #107786)

2024-09-25 Thread Erich Keane via cfe-commits
@@ -0,0 +1,32 @@ +// RUN: %clang_cc1 -fsyntax-only -verify -std=c++20 %s + +namespace GH49093 { + class B { + public: +static int a() { return 0; } // expected-note {{member is declared here}} +decltype(a< 0 >(0)) test;// expected-error {{member 'a' used before its

[clang] 02c138f - [AArch64] Implement intrinsics for SME2 FSCALE (#100128)

2024-09-25 Thread via cfe-commits
Author: Lukacma Date: 2024-09-25T14:34:00+01:00 New Revision: 02c138f8d1d6ca7152823d44ad5709d13bcd06ee URL: https://github.com/llvm/llvm-project/commit/02c138f8d1d6ca7152823d44ad5709d13bcd06ee DIFF: https://github.com/llvm/llvm-project/commit/02c138f8d1d6ca7152823d44ad5709d13bcd06ee.diff LOG:

[clang] [clang] Catch missing format attributes (PR #105479)

2024-09-25 Thread Budimir Aranđelović via cfe-commits
@@ -0,0 +1,251 @@ +// RUN: %clang_cc1 -fsyntax-only -verify=expected,c_diagnostics -Wmissing-format-attribute %s +// RUN: %clang_cc1 -fsyntax-only -Wmissing-format-attribute -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s +// RUN: %clang_cc1 -fsyntax-only -x c++ -verify=ex

[clang] [llvm] [AArch64] Implement intrinsics for SME2 FSCALE (PR #100128)

2024-09-25 Thread via cfe-commits
https://github.com/Lukacma closed https://github.com/llvm/llvm-project/pull/100128 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [PS4,PS5][Driver] Fix typo in comment (NFC) (PR #109980)

2024-09-25 Thread Edd Dawson via cfe-commits
https://github.com/playstation-edd created https://github.com/llvm/llvm-project/pull/109980 None >From 2a333786d415215f722796587c0a37b676d506a5 Mon Sep 17 00:00:00 2001 From: Edd Dawson Date: Wed, 25 Sep 2024 14:27:43 +0100 Subject: [PATCH] [PS4,PS5][Driver] Fix typo in comment (NFC) --- cla

[clang] [PS4,PS5][Driver] Fix typo in comment (NFC) (PR #109980)

2024-09-25 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang @llvm/pr-subscribers-clang-driver Author: Edd Dawson (playstation-edd) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/109980.diff 1 Files Affected: - (modified) clang/lib/Driver/ToolChains/PS4CPU.cpp (+1-1) ``diff

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
NagyDonat wrote: > If I understand it correctly, we want to use (very likely) incorrect > assumptions to suppress false positives produced by an alpha checker, which > receives otherwise wrong assumptions. [...] I think the correct solution to > this problem is to investigate why the specific

[clang] [clang] Implement constexpr __builtin_bit_cast for complex types (PR #109981)

2024-09-25 Thread Timm Baeder via cfe-commits
https://github.com/tbaederr created https://github.com/llvm/llvm-project/pull/109981 Fixes https://github.com/llvm/llvm-project/issues/94620 >From 12f625a2c7cf39285eac05f9aa294f3017931c7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= Date: Wed, 25 Sep 2024 15:45:06 +0200 Subject

[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

2024-09-25 Thread Donát Nagy via cfe-commits
@@ -194,3 +199,99 @@ char test_comparison_with_extent_symbol(struct incomplete *p) { return ((char *)p)[-1]; // no-warning } +// WeakLoopAssumption suppression +/// + +int GlobalArray[100]; +int loop_suppre

[clang] [clang] Implement constexpr __builtin_bit_cast for complex types (PR #109981)

2024-09-25 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Timm Baeder (tbaederr) Changes Fixes https://github.com/llvm/llvm-project/issues/94620 --- Full diff: https://github.com/llvm/llvm-project/pull/109981.diff 2 Files Affected: - (modified) clang/lib/AST/ExprConstant.cpp (+43) - (modified

[clang] [clang] Implement constexpr __builtin_bit_cast for complex types (PR #109981)

2024-09-25 Thread Timm Baeder via cfe-commits
tbaederr wrote: I was going to add tests for floating complex types as well but I see that's rather hard and tests for floating types are rare in that file overall. https://github.com/llvm/llvm-project/pull/109981 ___ cfe-commits mailing list cfe-comm

[clang] [Driver] Enable ASan on Solaris/SPARC (PR #107403)

2024-09-25 Thread Rainer Orth via cfe-commits
https://github.com/rorth edited https://github.com/llvm/llvm-project/pull/107403 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang-tools-extra] f5838cc - [clang-tools-extra] Don't flush llvm::raw_string_ostream (NFC)

2024-09-25 Thread Youngsuk Kim via cfe-commits
Author: Youngsuk Kim Date: 2024-09-25T06:12:45-05:00 New Revision: f5838cc17ffb1a0015a0d2687a72bf39b2847f6d URL: https://github.com/llvm/llvm-project/commit/f5838cc17ffb1a0015a0d2687a72bf39b2847f6d DIFF: https://github.com/llvm/llvm-project/commit/f5838cc17ffb1a0015a0d2687a72bf39b2847f6d.diff

[clang] [llvm] [DLCov 3/5] Implement DebugLoc origin-tracking (PR #107369)

2024-09-25 Thread J. Ryan Stinnett via cfe-commits
@@ -48,22 +64,29 @@ namespace llvm { Temporary }; - // Extends TrackingMDNodeRef to also store a DebugLocKind, allowing Debugify - // to ignore intentionally-empty DebugLocs. - class DILocAndCoverageTracking : public TrackingMDNodeRef { + // Extends TrackingMDNodeRef

[clang] [flang] [Flang][Driver] Enable the -B option (PR #109965)

2024-09-25 Thread Kiran Chandramohan via cfe-commits
https://github.com/kiranchandramohan updated https://github.com/llvm/llvm-project/pull/109965 >From 322ff8178ae23b43168d88fe8ab314e5ac3ffb72 Mon Sep 17 00:00:00 2001 From: Kiran Chandramohan Date: Wed, 25 Sep 2024 11:43:40 + Subject: [PATCH] [Flang][Driver] Enable the -B option The option

[clang] [llvm] [AMDGPU] Infer amdgpu-no-flat-scratch-init attribute in AMDGPUAttributor (PR #94647)

2024-09-25 Thread Matt Arsenault via cfe-commits
@@ -434,6 +434,15 @@ struct AAAMDAttributesFunction : public AAAMDAttributes { indicatePessimisticFixpoint(); return; } + +for (Instruction &I : instructions(F)) { + if (isa(I) && arsenm wrote: Simple example, where the cast is still d

[clang] [llvm] [AMDGPU] Infer amdgpu-no-flat-scratch-init attribute in AMDGPUAttributor (PR #94647)

2024-09-25 Thread Matt Arsenault via cfe-commits
https://github.com/arsenm edited https://github.com/llvm/llvm-project/pull/94647 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][bytecode] Override InConstantContext flag for immediate calls (PR #109967)

2024-09-25 Thread Timm Baeder via cfe-commits
https://github.com/tbaederr created https://github.com/llvm/llvm-project/pull/109967 And fix the diagnostics for __builtin_is_constant_evaluated(). We can be in a non-constant context, but calling an immediate function always makes the context constant for the duration of that call. >From 7d5

[clang] [clang][bytecode] Override InConstantContext flag for immediate calls (PR #109967)

2024-09-25 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Timm Baeder (tbaederr) Changes And fix the diagnostics for __builtin_is_constant_evaluated(). We can be in a non-constant context, but calling an immediate function always makes the context constant for the duration of that call. --- Ful

<    1   2   3   4   5   >