[clang] [clang][dataflow] Correctly handle `InitListExpr` of union type. (PR #82348)

2024-02-21 Thread via cfe-commits
@@ -1104,12 +1104,22 @@ RecordStorageLocation *getBaseObjectLocation(const MemberExpr &ME, return Env.get(*Base); } -std::vector getFieldsForInitListExpr(const RecordDecl *RD) { +std::vector +getFieldsForInitListExpr(const InitListExpr *InitList) { + const RecordDecl *RD =

[clang] [clang][dataflow] Correctly handle `InitListExpr` of union type. (PR #82348)

2024-02-21 Thread via cfe-commits
https://github.com/martinboehme updated https://github.com/llvm/llvm-project/pull/82348 >From fc41d1efdcff94857e7ccd3b8a1a75c3e83a84ee Mon Sep 17 00:00:00 2001 From: Martin Braenne Date: Tue, 20 Feb 2024 11:57:23 + Subject: [PATCH 1/2] [clang][dataflow] Correctly handle `InitListExpr` of u

[clang] [clang][dataflow] Correctly handle `InitListExpr` of union type. (PR #82348)

2024-02-21 Thread via cfe-commits
@@ -731,6 +723,18 @@ class TransferVisitor : public ConstStmtVisitor { FieldLocs.insert({Field, &Loc}); } +// In the case of a union, we don't in general have initializers for all +// of the fields. Create storage locations for the remaining fields (but +

[clang] [clang][analyzer] Change modeling of 'fileno' in checkers. (PR #81842)

2024-02-21 Thread Balázs Kéri via cfe-commits
https://github.com/balazske updated https://github.com/llvm/llvm-project/pull/81842 From 0f836d8e63f462f57784e62bcd87ac1f4f5a3d00 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bal=C3=A1zs=20K=C3=A9ri?= Date: Thu, 15 Feb 2024 10:56:32 +0100 Subject: [PATCH 1/3] [clang][analyzer] Change modeling of 'f

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread Rajveer Singh Bharadwaj via cfe-commits
https://github.com/Rajveer100 updated https://github.com/llvm/llvm-project/pull/82251 >From 05dbfac2043c22bdb73d5f09221421209bfe1f22 Mon Sep 17 00:00:00 2001 From: Rajveer Date: Mon, 19 Feb 2024 19:29:48 +0530 Subject: [PATCH] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `d

[clang] 1246b64 - [clang][analyzer] Change modeling of 'fileno' in checkers. (#81842)

2024-02-21 Thread via cfe-commits
Author: Balázs Kéri Date: 2024-02-21T09:18:01+01:00 New Revision: 1246b64faa5eea1553c1c1aad425c31b701fa6ea URL: https://github.com/llvm/llvm-project/commit/1246b64faa5eea1553c1c1aad425c31b701fa6ea DIFF: https://github.com/llvm/llvm-project/commit/1246b64faa5eea1553c1c1aad425c31b701fa6ea.diff L

[clang] [clang][analyzer] Change modeling of 'fileno' in checkers. (PR #81842)

2024-02-21 Thread Balázs Kéri via cfe-commits
https://github.com/balazske closed https://github.com/llvm/llvm-project/pull/81842 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread Rajveer Singh Bharadwaj via cfe-commits
Rajveer100 wrote: @cor3ntin I have mistakenly added a merge commit, let me fix that. https://github.com/llvm/llvm-project/pull/82251 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread Rajveer Singh Bharadwaj via cfe-commits
https://github.com/Rajveer100 updated https://github.com/llvm/llvm-project/pull/82251 >From 05dbfac2043c22bdb73d5f09221421209bfe1f22 Mon Sep 17 00:00:00 2001 From: Rajveer Date: Mon, 19 Feb 2024 19:29:48 +0530 Subject: [PATCH] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `d

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread Rajveer Singh Bharadwaj via cfe-commits
Rajveer100 wrote: > @Rajveer100 you need us to merge that for you? I am not sure what you meant by this? https://github.com/llvm/llvm-project/pull/82251 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/lis

[clang] 5037350 - [clang] Preserve found-decl when constructing VarTemplateIds (#82265)

2024-02-21 Thread via cfe-commits
Author: kadir çetinkaya Date: 2024-02-21T09:52:19+01:00 New Revision: 50373506d570f3db1e1af7c13d46409736452f3a URL: https://github.com/llvm/llvm-project/commit/50373506d570f3db1e1af7c13d46409736452f3a DIFF: https://github.com/llvm/llvm-project/commit/50373506d570f3db1e1af7c13d46409736452f3a.dif

[clang] [clang] Preserve found-decl when constructing VarTemplateIds (PR #82265)

2024-02-21 Thread kadir çetinkaya via cfe-commits
https://github.com/kadircet closed https://github.com/llvm/llvm-project/pull/82265 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [alpha.webkit.UncountedCallArgsChecker] Allow a variable declaration in a trivial function. (PR #82291)

2024-02-21 Thread Ryosuke Niwa via cfe-commits
https://github.com/rniwa updated https://github.com/llvm/llvm-project/pull/82291 >From 0a8cfb11a601e7a6ec59489b8ac15c40136002b2 Mon Sep 17 00:00:00 2001 From: Ryosuke Niwa Date: Sat, 17 Feb 2024 18:12:16 -0800 Subject: [PATCH] [alpha.webkit.UncountedCallArgsChecker] Allow a variable declaration

[clang] [alpha.webkit.UncountedCallArgsChecker] Don't assume local variables are safe & treat guarded local variable as safe function arguments (PR #82305)

2024-02-21 Thread Ryosuke Niwa via cfe-commits
https://github.com/rniwa updated https://github.com/llvm/llvm-project/pull/82305 >From 8e9b4433df511e9982d181a5c18262208a72177d Mon Sep 17 00:00:00 2001 From: Ryosuke Niwa Date: Fri, 16 Feb 2024 19:29:54 -0800 Subject: [PATCH 1/2] [alpha.webkit.UncountedCallArgsChecker] Don't assume local varia

[clang] [alpha.webkit.UncountedLocalVarsChecker] Allow uncounted object references within trivial statements (PR #82229)

2024-02-21 Thread Ryosuke Niwa via cfe-commits
https://github.com/rniwa updated https://github.com/llvm/llvm-project/pull/82229 >From 099640652b62c52160b12542a16eb66da90cfc93 Mon Sep 17 00:00:00 2001 From: Ryosuke Niwa Date: Mon, 19 Feb 2024 01:07:13 -0800 Subject: [PATCH] [alpha.webkit.UncountedLocalVarsChecker] Allow uncounted object refe

[clang] [alpha.webkit.UncountedLocalVarsChecker] Allow uncounted object references within trivial statements (PR #82229)

2024-02-21 Thread Ryosuke Niwa via cfe-commits
rniwa wrote: > I want to spend a bit more time thinking whether this has to go into every > callback, maybe it can be a set-and-forget thing? (Probably not.) What do you mean by set-and-forget? https://github.com/llvm/llvm-project/pull/82229 ___ cfe

[clang] [clang][dataflow] Correctly handle `InitListExpr` of union type. (PR #82348)

2024-02-21 Thread via cfe-commits
martinboehme wrote: CI failure appears to be an infrastructure issue. Patch cleanly builds and tests locally. https://github.com/llvm/llvm-project/pull/82348 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailma

[clang] [clang][dataflow] Correctly handle `InitListExpr` of union type. (PR #82348)

2024-02-21 Thread via cfe-commits
https://github.com/martinboehme closed https://github.com/llvm/llvm-project/pull/82348 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 4725993 - [clang][dataflow] Correctly handle `InitListExpr` of union type. (#82348)

2024-02-21 Thread via cfe-commits
Author: martinboehme Date: 2024-02-21T10:10:25+01:00 New Revision: 4725993f1a812c86b9ad79d229a015d0216ff550 URL: https://github.com/llvm/llvm-project/commit/4725993f1a812c86b9ad79d229a015d0216ff550 DIFF: https://github.com/llvm/llvm-project/commit/4725993f1a812c86b9ad79d229a015d0216ff550.diff

[clang] [analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (PR #81034)

2024-02-21 Thread Endre Fülöp via cfe-commits
gamesh411 wrote: I checked many false positives, even those that were not FP at first sight; I think we can live without them. I also agree that we should strive to handle comparison evaluation more uniformly and preferably behind the API barrier of the constraint manager. LGTM https://github.

[clang] [analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (PR #81034)

2024-02-21 Thread Endre Fülöp via cfe-commits
https://github.com/gamesh411 approved this pull request. https://github.com/llvm/llvm-project/pull/81034 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [flang] [lld] [llvm] [flang][clang] Add Visibility specific help text for options (PR #81869)

2024-02-21 Thread David Spickett via cfe-commits
@@ -3391,7 +3391,10 @@ def fno_openmp : Flag<["-"], "fno-openmp">, Group, def fopenmp_version_EQ : Joined<["-"], "fopenmp-version=">, Group, Flags<[NoArgumentUnused]>, Visibility<[ClangOption, CC1Option, FlangOption, FC1Option]>, - HelpText<"Set OpenMP version (e.g. 45 fo

[clang] [compiler-rt] [clang][UBSan] Add implicit conversion check for bitfields (PR #75481)

2024-02-21 Thread Axel Lundberg via cfe-commits
Zonotora wrote: > Precommit CI seems to have found some related failures that should be > investigated. I'd love to hear opinions from the codegen code owners on this, > as well as @zygoloid as UBSan code owner. I'm not opposed to the changes, > though I do find it somewhat strange to add them

[clang] [clang][analyzer] StreamChecker: add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
https://github.com/alejandro-alvarez-sonarsource created https://github.com/llvm/llvm-project/pull/82476 1. Model `getc`, `vfscanf`, `putc`, `vfprintf`. 2. `fscanf` invalidates all arguments after the format string. Also, add tests for `ftello` and `fseeko`. From a21881d82fe3674b344d4a3807e9d2

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
https://github.com/alejandro-alvarez-sonarsource edited https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-static-analyzer-1 Author: Alejandro Álvarez Ayllón (alejandro-alvarez-sonarsource) Changes 1. Model `getc`, `vfscanf`, `putc`, `vfprintf`. 2. `fscanf` invalidates all arguments after the format string. Also, add tests for `ftello` and `fseeko`. -

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Alejandro Álvarez Ayllón (alejandro-alvarez-sonarsource) Changes 1. Model `getc`, `vfscanf`, `putc`, `vfprintf`. 2. `fscanf` invalidates all arguments after the format string. Also, add tests for `ftello` and `fseeko`. --- Full diff: http

[clang] [llvm] [AArch64] Added feature dependencies for SME2p1 to TargetParser (PR #81860)

2024-02-21 Thread via cfe-commits
https://github.com/Lukacma updated https://github.com/llvm/llvm-project/pull/81860 >From 2e3d7fbcf759230cf83487c60aabca5104a7f379 Mon Sep 17 00:00:00 2001 From: Marian Lukac Date: Thu, 15 Feb 2024 10:17:20 + Subject: [PATCH 1/2] [AArch64] Added feature dependencies for SME2p1 to TargetPars

[clang] [clang] Preserve found-decl when constructing VarTemplateIds (PR #82265)

2024-02-21 Thread Nikita Popov via cfe-commits
nikic wrote: I think this commit is responsible for the ClangIncludeCleaner test failure. https://github.com/llvm/llvm-project/pull/82265 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commit

[clang] 3533fe7 - Revert "[clang] Preserve found-decl when constructing VarTemplateIds (#82265)"

2024-02-21 Thread Kadir Cetinkaya via cfe-commits
Author: Kadir Cetinkaya Date: 2024-02-21T11:15:42+01:00 New Revision: 3533fe783df4b417f16077edb70099010d2d7eef URL: https://github.com/llvm/llvm-project/commit/3533fe783df4b417f16077edb70099010d2d7eef DIFF: https://github.com/llvm/llvm-project/commit/3533fe783df4b417f16077edb70099010d2d7eef.dif

[clang] [llvm] MIPS/clang: Fix asm constraint for softfloat (PR #79116)

2024-02-21 Thread YunQiang Su via cfe-commits
https://github.com/wzssyqa updated https://github.com/llvm/llvm-project/pull/79116 >From 0ea3b2be9d364a042c7e7114b0f72fc3c144d2a0 Mon Sep 17 00:00:00 2001 From: YunQiang Su Date: Tue, 23 Jan 2024 18:14:48 +0800 Subject: [PATCH] MIPS/clang: Fix asm constraint for softfloat This include 2 fixes:

[clang] [llvm] MIPS/clang: Fix asm constraint for softfloat (PR #79116)

2024-02-21 Thread YunQiang Su via cfe-commits
@@ -0,0 +1,25 @@ +; RUN: llc -march=mips < %s | FileCheck %s --check-prefix=MIPS32 +; RUN: llc -march=mips64 < %s | FileCheck %s --check-prefix=MIPS64 + +define dso_local void @read_double(double* nocapture noundef readonly %0) local_unnamed_addr #0 { wzssyqa w

[clang] [llvm] MIPS/clang: Fix asm constraint for softfloat (PR #79116)

2024-02-21 Thread YunQiang Su via cfe-commits
@@ -0,0 +1,8 @@ +// RUN: %clang_cc1 -triple mips -target-feature +soft-float -DSOFT_FLOAT_NO_CONSTRAINT_F -fsyntax-only -verify %s + +#ifdef SOFT_FLOAT_NO_CONSTRAINT_F +void read_float(float* p) { wzssyqa wrote: Oh, yes. we can use `float p` here. https://githu

[clang] [llvm] MIPS/clang: Fix asm constraint for softfloat (PR #79116)

2024-02-21 Thread YunQiang Su via cfe-commits
https://github.com/wzssyqa updated https://github.com/llvm/llvm-project/pull/79116 >From 838394878054831066e563fa243665ba6d68d824 Mon Sep 17 00:00:00 2001 From: YunQiang Su Date: Tue, 23 Jan 2024 18:14:48 +0800 Subject: [PATCH] MIPS/clang: Fix asm constraint for softfloat This include 2 fixes:

[clang] [AArch64][SME2] Refactor arm_sme.td into multiclasses (PR #78169)

2024-02-21 Thread Sam Tebbs via cfe-commits
https://github.com/SamTebbs33 approved this pull request. https://github.com/llvm/llvm-project/pull/78169 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [AMDGPU] Enable OpenCL hostcall printf (WIP) (PR #72556)

2024-02-21 Thread Vikram Hegde via cfe-commits
@@ -178,17 +181,29 @@ RValue CodeGenFunction::EmitNVPTXDevicePrintfCallExpr(const CallExpr *E) { E, this, GetVprintfDeclaration(CGM.getModule()), false); } +// Deterimines if an argument is a string +static bool isString(const clang::Type *argXTy) { vik

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Balázs Kéri via cfe-commits
https://github.com/balazske edited https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [AArch64] Added feature dependencies for SME2p1 to TargetParser (PR #81860)

2024-02-21 Thread via cfe-commits
https://github.com/Lukacma updated https://github.com/llvm/llvm-project/pull/81860 >From 2e3d7fbcf759230cf83487c60aabca5104a7f379 Mon Sep 17 00:00:00 2001 From: Marian Lukac Date: Thu, 15 Feb 2024 10:17:20 + Subject: [PATCH 1/2] [AArch64] Added feature dependencies for SME2p1 to TargetPars

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Balázs Kéri via cfe-commits
https://github.com/balazske commented: How does this relate to the other PR #79470 (why comes this new patch when there is another for the same problem)? I think it is better to first commit #79470, then add remaining functions `getc`, `putc`, `vfscanf`, `vfprintf`. These should be added anyway

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Balázs Kéri via cfe-commits
https://github.com/balazske edited https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
https://github.com/NagyDonat commented: Looks good overall, I only have a few small suggestions/questions. https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/li

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
@@ -171,14 +173,34 @@ using FnCheck = std::function; using ArgNoTy = unsigned int; -static const ArgNoTy ArgNone = std::numeric_limits::max(); +const ArgNoTy ArgNone = std::numeric_limits::max(); struct FnDescription { FnCheck PreFn; FnCheck EvalFn; ArgNoTy StreamAr

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
@@ -339,3 +363,107 @@ void fflush_on_open_failed_stream(void) { } fclose(F); } + +void test_fscanf_eof() { + FILE *F1 = tmpfile(); + if (!F1) +return; + + int a; + unsigned b; + int ret = fscanf(F1, "%d %u", &a, &b); + char c = fgetc(F1); // expected-warning {{Rea

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
@@ -171,14 +173,34 @@ using FnCheck = std::function; using ArgNoTy = unsigned int; -static const ArgNoTy ArgNone = std::numeric_limits::max(); +const ArgNoTy ArgNone = std::numeric_limits::max(); NagyDonat wrote: Why is this change incorporated in this commit?

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
https://github.com/NagyDonat edited https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Balázs Kéri via cfe-commits
@@ -396,6 +418,18 @@ class StreamChecker : public Checkerhttps://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Balázs Kéri via cfe-commits
@@ -396,6 +418,18 @@ class StreamChecker : public Checkerhttps://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread via cfe-commits
https://github.com/NagyDonat edited https://github.com/llvm/llvm-project/pull/82476 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [flang] [lld] [llvm] [flang][clang] Add Visibility specific help text for options (PR #81869)

2024-02-21 Thread David Spickett via cfe-commits
https://github.com/DavidSpickett updated https://github.com/llvm/llvm-project/pull/81869 >From a996499580066213c3437cbb96735b7404291c3d Mon Sep 17 00:00:00 2001 From: David Spickett Date: Thu, 15 Feb 2024 09:52:22 + Subject: [PATCH 1/3] [flang][clang] Add Visibility specific help text for

[clang] b1080e1 - [clang][Interp] Convert complex initializers to rvalues

2024-02-21 Thread Timm Bäder via cfe-commits
Author: Timm Bäder Date: 2024-02-21T13:09:20+01:00 New Revision: b1080e187e91576ac6d44087f072583e101f0f51 URL: https://github.com/llvm/llvm-project/commit/b1080e187e91576ac6d44087f072583e101f0f51 DIFF: https://github.com/llvm/llvm-project/commit/b1080e187e91576ac6d44087f072583e101f0f51.diff LO

[clang] [clang-tools-extra] [flang] [lld] [llvm] [flang][clang] Add Visibility specific help text for options (PR #81869)

2024-02-21 Thread David Spickett via cfe-commits
https://github.com/DavidSpickett edited https://github.com/llvm/llvm-project/pull/81869 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [flang] [lld] [llvm] [flang][clang] Add Visibility specific help text for options (PR #81869)

2024-02-21 Thread David Spickett via cfe-commits
@@ -3391,7 +3391,10 @@ def fno_openmp : Flag<["-"], "fno-openmp">, Group, def fopenmp_version_EQ : Joined<["-"], "fopenmp-version=">, Group, Flags<[NoArgumentUnused]>, Visibility<[ClangOption, CC1Option, FlangOption, FC1Option]>, - HelpText<"Set OpenMP version (e.g. 45 fo

[clang] 02e17ab - [AArch64] Added feature dependencies for SME2p1 to TargetParser (#81860)

2024-02-21 Thread via cfe-commits
Author: Lukacma Date: 2024-02-21T12:29:28Z New Revision: 02e17ab1b97a8c0dc22facc8c66850e5aca28b60 URL: https://github.com/llvm/llvm-project/commit/02e17ab1b97a8c0dc22facc8c66850e5aca28b60 DIFF: https://github.com/llvm/llvm-project/commit/02e17ab1b97a8c0dc22facc8c66850e5aca28b60.diff LOG: [AArc

[clang] [llvm] [AArch64] Added feature dependencies for SME2p1 to TargetParser (PR #81860)

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

[clang] [llvm] [AArch64] Added feature dependencies for SME2p1 to TargetParser (PR #81860)

2024-02-21 Thread via cfe-commits
github-actions[bot] wrote: @Lukacma Congratulations on having your first Pull Request (PR) merged into the LLVM Project! Your changes will be combined with recent changes from other authors, then tested by our [build bots](https://lab.llvm.org/buildbot/). If there is a problem with a build,

[clang] [clang] Implement CWG1719 "Layout compatibility and cv-qualification revisited" (PR #82358)

2024-02-21 Thread via cfe-commits
https://github.com/cor3ntin approved this pull request. https://github.com/llvm/llvm-project/pull/82358 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] Implement CWG1719 "Layout compatibility and cv-qualification revisited" (PR #82358)

2024-02-21 Thread Aaron Ballman via cfe-commits
https://github.com/AaronBallman approved this pull request. LGTM! https://github.com/llvm/llvm-project/pull/82358 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread Rajveer Singh Bharadwaj via cfe-commits
Rajveer100 wrote: Considering the PR sounds good to you, yes it would be great to have it merged. https://github.com/llvm/llvm-project/pull/82251 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cf

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
alejandro-alvarez-sonarsource wrote: > How does this relate to the other PR #79470 (why comes this new patch when > there is another for the same problem)? I think it is better to first commit > #79470, then add remaining functions `getc`, `putc`, `vfscanf`, `vfprintf`. > These should be added

[clang] b5437c8 - [clang][Interp] Emit const references for Float arguments (#79753)

2024-02-21 Thread via cfe-commits
Author: Timm Baeder Date: 2024-02-21T14:15:39+01:00 New Revision: b5437c8ab2af277548ee59b6838e365d35a0d926 URL: https://github.com/llvm/llvm-project/commit/b5437c8ab2af277548ee59b6838e365d35a0d926 DIFF: https://github.com/llvm/llvm-project/commit/b5437c8ab2af277548ee59b6838e365d35a0d926.diff L

[clang] [clang][Interp] Emit const references for Float arguments (PR #79753)

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

[clang] [clang] Implement CWG1719 "Layout compatibility and cv-qualification revisited" (PR #82358)

2024-02-21 Thread Vlad Serebrennikov via cfe-commits
https://github.com/Endilll updated https://github.com/llvm/llvm-project/pull/82358 >From 15d9428a47ea5d7ba3b4ffd2e766406b16d781e0 Mon Sep 17 00:00:00 2001 From: Vlad Serebrennikov Date: Tue, 20 Feb 2024 16:44:04 +0300 Subject: [PATCH 1/3] [clang] Implement CWG1719 "Layout compatibility and cv-

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
@@ -339,3 +363,107 @@ void fflush_on_open_failed_stream(void) { } fclose(F); } + +void test_fscanf_eof() { + FILE *F1 = tmpfile(); + if (!F1) +return; + + int a; + unsigned b; + int ret = fscanf(F1, "%d %u", &a, &b); + char c = fgetc(F1); // expected-warning {{Rea

[clang] [clang][analyzer] StreamChecker: Add more APIs, invalidate fscanf args (PR #82476)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
https://github.com/alejandro-alvarez-sonarsource updated https://github.com/llvm/llvm-project/pull/82476 From a21881d82fe3674b344d4a3807e9d2590c98ce93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alejandro=20=C3=81lvarez=20Ayll=C3=B3n?= Date: Tue, 14 Nov 2023 09:28:45 +0100 Subject: [PATCH 1/3] [c

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sander de Smalen via cfe-commits
@@ -0,0 +1,47 @@ +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -S -target-feature +sme -verify -DTEST_NONE -x c %s +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -S -target-feature +sme -verify -DTEST_COMPATIBLE -x c %s +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sander de Smalen via cfe-commits
@@ -0,0 +1,47 @@ +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -S -target-feature +sme -verify -DTEST_NONE -x c %s sdesmalen-arm wrote: Doing `-x c` on a .c file is redundant, as it's already interpreted as a C source file. https://github.com/llvm/llvm-pr

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sander de Smalen via cfe-commits
@@ -814,6 +820,43 @@ Address AArch64ABIInfo::EmitMSVAArg(CodeGenFunction &CGF, Address VAListAddr, /*allowHigherAlign*/ false); } +static bool isStreaming(const FunctionDecl *F) { + if (F->hasAttr()) +return true; + if (const auto *T = F->getTy

[clang] [clang][analyzer] Fix argument invalidations in StreamChecker. (PR #79470)

2024-02-21 Thread Balazs Benics via cfe-commits
=?utf-8?q?Balázs_Kéri?= Message-ID: In-Reply-To: https://github.com/steakhal approved this pull request. Thanks for resolving my comments. FYI if I forget about a PR (that I promise to come back on the next day) - feel free to ping it or explicitly push the "request review" button. Wait for

[clang] [clang][analyzer] Fix argument invalidations in StreamChecker. (PR #79470)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
@@ -763,6 +779,11 @@ void StreamChecker::evalFreadFwrite(const FnDescription *Desc, return; } + // At read, invalidate the buffer in any case of error or success, + // except if EOF was already present. + if (IsFread && (OldSS->ErrorState != ErrorFEof)) +State =

[clang] [clang][analyzer] Fix argument invalidations in StreamChecker. (PR #79470)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
https://github.com/alejandro-alvarez-sonarsource edited https://github.com/llvm/llvm-project/pull/79470 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 91ebd01 - [clang][Interp] Remove dereference()

2024-02-21 Thread Timm Bäder via cfe-commits
Author: Timm Bäder Date: 2024-02-21T15:25:55+01:00 New Revision: 91ebd010aa76a711abd88f74ecca8e82e15b23cd URL: https://github.com/llvm/llvm-project/commit/91ebd010aa76a711abd88f74ecca8e82e15b23cd DIFF: https://github.com/llvm/llvm-project/commit/91ebd010aa76a711abd88f74ecca8e82e15b23cd.diff LO

[clang] [clang][analyzer] Fix argument invalidations in StreamChecker. (PR #79470)

2024-02-21 Thread Alejandro Álvarez Ayllón via cfe-commits
https://github.com/alejandro-alvarez-sonarsource edited https://github.com/llvm/llvm-project/pull/79470 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [CLANG] Full support of complex multiplication and division. (PR #81514)

2024-02-21 Thread Zahira Ammarguellat via cfe-commits
https://github.com/zahiraam updated https://github.com/llvm/llvm-project/pull/81514 >From 13fd73932251843173cbbc31ca93905ca0469277 Mon Sep 17 00:00:00 2001 From: Ammarguellat Date: Mon, 12 Feb 2024 10:58:19 -0800 Subject: [PATCH 1/3] [CLANG] Full support of complex multiplication and division.

[clang] f7c2e5f - [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (#82251)

2024-02-21 Thread via cfe-commits
Author: Rajveer Singh Bharadwaj Date: 2024-02-21T15:30:49+01:00 New Revision: f7c2e5fa05d221a3dfc53744f353517407c2ffec URL: https://github.com/llvm/llvm-project/commit/f7c2e5fa05d221a3dfc53744f353517407c2ffec DIFF: https://github.com/llvm/llvm-project/commit/f7c2e5fa05d221a3dfc53744f353517407c2

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread via cfe-commits
https://github.com/cor3ntin closed https://github.com/llvm/llvm-project/pull/82251 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] [SemaCXX] Disallow deducing "this" on operator `new` and `delete` (PR #82251)

2024-02-21 Thread via cfe-commits
cor3ntin wrote: Thanks for working on this! https://github.com/llvm/llvm-project/pull/82251 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
@@ -2393,6 +2391,17 @@ static bool CheckConstexprFunctionBody(Sema &SemaRef, const FunctionDecl *Dcl, Kind)) return false; } +} else if (!Constructor->isDelegatingConstructor()) { mahtohappy wr

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
@@ -2343,17 +2349,9 @@ static bool CheckConstexprFunctionBody(Sema &SemaRef, const FunctionDecl *Dcl, // - if the class is a union having variant members, exactly one of them // shall be initialized; mahtohappy wrote: I'll add the references. https

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
@@ -2471,6 +2480,23 @@ static bool CheckConstexprFunctionBody(Sema &SemaRef, const FunctionDecl *Dcl, return true; } +static bool +checkUnionConstructorIntializer(Sema &SemaRef, const FunctionDecl *Dcl, mahtohappy wrote: DiagUnionMemberConstExprCtorInitial

[clang] [clang-cl] Fix value of __FUNCTION__ in MSVC mode. (PR #67592)

2024-02-21 Thread Zahira Ammarguellat via cfe-commits
https://github.com/zahiraam updated https://github.com/llvm/llvm-project/pull/67592 >From 55b67a58ef8b9856e5f0a8f535b8617f59711dec Mon Sep 17 00:00:00 2001 From: Ammarguellat Date: Wed, 27 Sep 2023 11:59:04 -0700 Subject: [PATCH 01/18] Fix value of __FUNCTION__ and __func__ in MSVC mode. ---

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
https://github.com/mahtohappy edited https://github.com/llvm/llvm-project/pull/81225 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-cl] Fix value of __FUNCTION__ in MSVC mode. (PR #67592)

2024-02-21 Thread Zahira Ammarguellat via cfe-commits
zahiraam wrote: @AaronBallman I removed the field that I added in the policy and tried to use the existing ones. That broke a few LIT tests but before fixing them I want to check with you if the combination of policy I have added in the unittest is correct. Thanks. https://github.com/llvm/ll

[clang] [llvm] [mlir] [openmp] [OpenMP] Remove `register_requires` global constructor (PR #80460)

2024-02-21 Thread Jon Chesterfield via cfe-commits
https://github.com/JonChesterfield approved this pull request. I like this a lot, thank you. https://github.com/llvm/llvm-project/pull/80460 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-com

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
@@ -2471,6 +2480,23 @@ static bool CheckConstexprFunctionBody(Sema &SemaRef, const FunctionDecl *Dcl, return true; } +static bool +checkUnionConstructorIntializer(Sema &SemaRef, const FunctionDecl *Dcl, +const CXXConstructorDecl *Constructor,

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sam Tebbs via cfe-commits
@@ -814,6 +820,43 @@ Address AArch64ABIInfo::EmitMSVAArg(CodeGenFunction &CGF, Address VAListAddr, /*allowHigherAlign*/ false); } +static bool isStreaming(const FunctionDecl *F) { + if (F->hasAttr()) +return true; + if (const auto *T = F->getTy

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sam Tebbs via cfe-commits
https://github.com/SamTebbs33 edited https://github.com/llvm/llvm-project/pull/77936 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Clang][Sema] Diagnosis for constexpr constructor not initializing a union member (PR #81225)

2024-02-21 Thread via cfe-commits
@@ -2471,6 +2480,23 @@ static bool CheckConstexprFunctionBody(Sema &SemaRef, const FunctionDecl *Dcl, return true; } +static bool +checkUnionConstructorIntializer(Sema &SemaRef, const FunctionDecl *Dcl, +const CXXConstructorDecl *Constructor,

[clang] 7318585 - [clang] Implement CWG1719 "Layout compatibility and cv-qualification revisited" (#82358)

2024-02-21 Thread via cfe-commits
Author: Vlad Serebrennikov Date: 2024-02-21T19:02:20+04:00 New Revision: 73185854a3fc469b7d3e21d0b5d2ecb5ee15d201 URL: https://github.com/llvm/llvm-project/commit/73185854a3fc469b7d3e21d0b5d2ecb5ee15d201 DIFF: https://github.com/llvm/llvm-project/commit/73185854a3fc469b7d3e21d0b5d2ecb5ee15d201.

[clang] [clang] Implement CWG1719 "Layout compatibility and cv-qualification revisited" (PR #82358)

2024-02-21 Thread Vlad Serebrennikov via cfe-commits
https://github.com/Endilll closed https://github.com/llvm/llvm-project/pull/82358 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Serialization] Load Specializations Lazily (PR #76774)

2024-02-21 Thread Ilya Biryukov via cfe-commits
ilya-biryukov wrote: Sorry for losing track of the discussion here. What is the current status here? Should we run another round of testing? Also, I see proposals to land the new behaviour under a flag and have it off by default. If that does not add a lot of complexity, that would definitely

[clang] [ObjC] Check entire chain of superclasses to see if class layout can be statically known (PR #81335)

2024-02-21 Thread via cfe-commits
https://github.com/AtariDreams updated https://github.com/llvm/llvm-project/pull/81335 >From 63f3ada705b69c27ca37207c6f7e8098896602b7 Mon Sep 17 00:00:00 2001 From: Rose <83477269+ataridre...@users.noreply.github.com> Date: Fri, 9 Feb 2024 17:51:15 -0500 Subject: [PATCH 1/2] [ObjC] Add pre-commi

[clang] [clang][dataflow] Fix inaccuracies in `buildStmtToBasicBlockMap()`. (PR #82496)

2024-02-21 Thread via cfe-commits
https://github.com/martinboehme created https://github.com/llvm/llvm-project/pull/82496 See the comments added to the code for details on the inaccuracies that have now been fixed. The patch adds tests that fail with the old implementation. >From 5c3df2b3151a8093e60f5fe79dcadc72a237d0ef Mon Se

[clang] [ObjC] Check entire chain of superclasses to see if class layout can be statically known (PR #81335)

2024-02-21 Thread via cfe-commits
https://github.com/AtariDreams updated https://github.com/llvm/llvm-project/pull/81335 >From 63f3ada705b69c27ca37207c6f7e8098896602b7 Mon Sep 17 00:00:00 2001 From: Rose <83477269+ataridre...@users.noreply.github.com> Date: Fri, 9 Feb 2024 17:51:15 -0500 Subject: [PATCH 1/2] [ObjC] Add pre-commi

[clang] [OpenMP] Remove complex reduction variable support (PR #82497)

2024-02-21 Thread Akash Banerjee via cfe-commits
https://github.com/TIFitis created https://github.com/llvm/llvm-project/pull/82497 This patch removes the complex reduction variables codegen. There are currently no tests for this, and from playing around with some complex reduction variable test cases the code seems unreachable. The PR #803

[clang] [OpenMP] Remove complex reduction variable support (PR #82497)

2024-02-21 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Akash Banerjee (TIFitis) Changes This patch removes the complex reduction variables codegen. There are currently no tests for this, and from playing around with some complex reduction variable test cases the code seems unreachable. The P

[clang] [Headers][X86] Make brief descriptions briefer (PR #82422)

2024-02-21 Thread Paul T Robinson via cfe-commits
@@ -2099,9 +2099,11 @@ static __inline__ __m128i __DEFAULT_FN_ATTRS _mm_add_epi64(__m128i __a, } /// Adds, with saturation, the corresponding elements of two 128-bit -///signed [16 x i8] vectors, saving each sum in the corresponding element of -///a 128-bit result ve

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sam Tebbs via cfe-commits
@@ -0,0 +1,47 @@ +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -S -target-feature +sme -verify -DTEST_NONE -x c %s +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -S -target-feature +sme -verify -DTEST_COMPATIBLE -x c %s +// RUN: %clang_cc1 -triple aarch64-none-linux-gnu

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Sam Tebbs via cfe-commits
https://github.com/SamTebbs33 updated https://github.com/llvm/llvm-project/pull/77936 >From 7314429a203900a8f555e1b0471fdd4cfd4d8d03 Mon Sep 17 00:00:00 2001 From: Samuel Tebbs Date: Wed, 10 Jan 2024 14:57:04 + Subject: [PATCH 01/18] [Clang][SME] Detect always_inline used with mismatched s

[clang] [llvm] [Clang][SME] Detect always_inline used with mismatched streaming attributes (PR #77936)

2024-02-21 Thread Jon Roelofs via cfe-commits
@@ -814,6 +820,43 @@ Address AArch64ABIInfo::EmitMSVAArg(CodeGenFunction &CGF, Address VAListAddr, /*allowHigherAlign*/ false); } +static bool isStreaming(const FunctionDecl *F) { + if (F->hasAttr()) +return true; + if (const auto *T = F->getTy

[clang] [clang][dataflow] Fix inaccuracies in `buildStmtToBasicBlockMap()`. (PR #82496)

2024-02-21 Thread Yitzhak Mandelbaum via cfe-commits
https://github.com/ymand approved this pull request. Nice work! Quite subtle... https://github.com/llvm/llvm-project/pull/82496 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

  1   2   3   >