[clang] d488adb - [analyzer][docs] Update the release notes for llvm-18 (#76446)

2023-12-28 Thread via cfe-commits
Author: Balazs Benics Date: 2023-12-28T15:48:59+01:00 New Revision: d488adb7c2928551d801efd8d4c1bcb2f07e2651 URL: https://github.com/llvm/llvm-project/commit/d488adb7c2928551d801efd8d4c1bcb2f07e2651 DIFF: https://github.com/llvm/llvm-project/commit/d488adb7c2928551d801efd8d4c1bcb2f07e2651.diff

[compiler-rt] [libc] [openmp] [clang] [mlir] [llvm] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

2023-12-28 Thread via cfe-commits
DonatNagyE wrote: Late review: nice reorganization :) https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
@@ -2097,6 +2097,18 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if the active value accessed in an ``std::variant`` instance. +.. code-bl

[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

2023-12-28 Thread via cfe-commits
DonatNagyE wrote: Hmm, I would prefer a cleaner, more "theoretical" improvement of the equivalence class handling instead of this "add yet another patch that covers many, but not all cases" approach. I'm not opposed to landing this PR in llvm-18 (we have it, and it improves the user experienc

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
DonatNagyE wrote: Note: the docs build check failed with > /home/runner/work/llvm-project/llvm-project/clang-build/tools/clang/docs/analyzer/checkers.rst:2108:Definition > list ends without a blank line; unexpected unindent. https://github.com/llvm/llvm-project/pull/76501 __

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
https://github.com/DonatNagyE edited https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
https://github.com/DonatNagyE commented: There is a trivial typo, otherwise LGTM. Thanks for the update! https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/lis

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
@@ -2097,6 +2097,21 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if a value of active type is retrieved from an ``std::variant`` instance

[clang] [riscv] Fix for __riscv_v_fixed_vlen in vector mask types (PR #76510)

2023-12-28 Thread via cfe-commits
https://github.com/ita-sc created https://github.com/llvm/llvm-project/pull/76510 It is already possible to have vector types with riscv_rvv_vector_bits attribute as structure members. But currently this is not the case for vector masks. Having vector masks in structures is useful for library

[clang] [riscv] Fix for __riscv_v_fixed_vlen in vector mask types (PR #76510)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: None (ita-sc) Changes It is already possible to have vector types with riscv_rvv_vector_bits attribute as structure members. But currently this is not the case for vector masks. Having vector masks in structures is useful for library impl

[clang] [riscv] Fix for __riscv_v_fixed_vlen in vector mask types (PR #76510)

2023-12-28 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 ae0b2633c935950084860e5f6a1c2c3203726489 69bfbb84879b41d4e8e5fbbd51b9b95b0767c460 --

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
DonatNagyE wrote: > Added some more explanation. I will continue using "Check if" since the other > descriptions that I saw stared like that (or "Check for"). That's a good point for using "Check if". https://github.com/llvm/llvm-project/pull/76501 _

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
=?utf-8?q?Gábor?= Spaits Message-ID: In-Reply-To: @@ -2097,6 +2097,21 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if a value of active

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

2023-12-28 Thread via cfe-commits
=?utf-8?q?G=C3=A1bor?= Spaits,=?utf-8?q?G=C3=A1bor?= Spaits, =?utf-8?q?G=C3=A1bor?= Spaits Message-ID: In-Reply-To: https://github.com/DonatNagyE approved this pull request. https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list

[clang] [Clang] Fix ICE where C++ Template Instantiation failed to handle attributed lambdas (PR #76523)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Yuxuan Chen (yuxuanchen1997) Changes This PR is proposing a fix for https://github.com/llvm/llvm-project/issues/76521. Clang used to assume that during template instantiation, Lambda expressions can only have `FunctionProtoTypeLoc`s. How

[clang-tools-extra] [compiler-rt] [mlir] [libcxx] [lldb] [flang] [llvm] [clang] [lld] [libc] [mlir][linalg] Implement common interface for depthwise convolution ops (PR #75017)

2023-12-28 Thread via cfe-commits
srcarroll wrote: I'm starting to think that maybe grouped convs should have received this treatment first since depthwise is a subset of grouped, so a lot of this should be abstracted to a grouped conv interface. Looking forward to hearing thoughts https://github.com/llvm/llvm-project/pull/750

[clang] [clang-format] Fix bad indentation with attribute and templated type (PR #76336)

2023-12-28 Thread via cfe-commits
XDeme wrote: Hi, Thanks for reviewing, could you merge this for me? I don't have write access https://github.com/llvm/llvm-project/pull/76336 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-co

[clang] 1d2fab7 - [analyzer] Add documentation for std::variant checker (#76501)

2023-12-28 Thread via cfe-commits
Author: Gábor Spaits Date: 2023-12-28T22:19:51+01:00 New Revision: 1d2fab74af73a279a21641b6649dca59f70e6519 URL: https://github.com/llvm/llvm-project/commit/1d2fab74af73a279a21641b6649dca59f70e6519 DIFF: https://github.com/llvm/llvm-project/commit/1d2fab74af73a279a21641b6649dca59f70e6519.diff

[clang] [Clang][Parser] Fix crash of clang when using C++ constructs like :: in C code (PR #74926)

2023-12-28 Thread via cfe-commits
ChipsSpectre wrote: @tahonermann @AaronBallman @nicolasvasilache @dcaballe Could you please approve this issue? The bug is fixed and already approved twice, but the pull request can not be landed without your approval. https://github.com/llvm/llvm-project/pull/74926 __

[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

2023-12-28 Thread via cfe-commits
DonatNagyE wrote: I'd like to abstain from deciding this question. Personally I don't like the idea that we add yet another hack that'll remain in the codebase forever and slows down all other development efforts in this area (as contributors who want to understand this logic will need to stud

[clang] [IRGen][AArch64][RISCV] Generalize bitcast between i1 predicate vector and i8 fixed vector. (PR #76548)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-codegen Author: Craig Topper (topperc) Changes Instead of only handling vscale x 16 x i1 predicate vectors, handle any scalable i1 vector where the known minimum is divisible by 8. This will be used on RISC-V where we have multiple sizes of predi

[flang] [llvm] [libcxx] [clang-tools-extra] [compiler-rt] [clang] [polly] [mlir] [lld] [CostModel][X86] Fix fpext conversion cost for 16 elements (PR #76278)

2023-12-28 Thread via cfe-commits
HaohaiWen wrote: > I meant - llvm-mca currently says the throughput for skylake etc. is 3cy not > 5cy - so do you know why the intel scheduler models are underestimating the > throughput? SKX schedule model reports correct lat/uops/tpt for each instruction. vcvtps2pd: https://uops.info/html-in

[polly] [mlir] [libc] [compiler-rt] [openmp] [clang] [clang-tools-extra] [llvm] [flang] [libcxx] [lld] [CostModel][X86] Fix fpext conversion cost for 16 elements (PR #76278)

2023-12-28 Thread via cfe-commits
https://github.com/HaohaiWen updated https://github.com/llvm/llvm-project/pull/76278 >From 87f3d68e82dcc752aa727f62b8b1b56b1257b343 Mon Sep 17 00:00:00 2001 From: Haohai Wen Date: Sat, 23 Dec 2023 13:16:02 +0800 Subject: [PATCH 1/2] [CostModel][X86] Track fpext conversion for 16 elements ---

[clang] [RISCV] Support __riscv_v_fixed_vlen for vbool types. (PR #76551)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Craig Topper (topperc) Changes This adopts a similar behavior to AArch64 SVE, where bool vectors are represented as a vector of chars with 1/8 the number of elements. This ensures the vector always occupies a power of 2 number of bytes.

[clang] [RISCV] Support __riscv_v_fixed_vlen for vbool types. (PR #76551)

2023-12-28 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 2dc50d28414c827b6723ae6b01c20a7fc3f38165 4e651e382ef68ae3f9ff7c9f9059ea1a1bddf892 --

[clang] [llvm] [FuncAttrs] Deduce `noundef` attributes for return values (PR #76553)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-llvm-transforms @llvm/pr-subscribers-clang Author: Yingwei Zheng (dtcxzyw) Changes This patch deduces `noundef` attributes for return values. IIUC, a function returns `noundef` values iff all of its return values are guaranteed not to be `undef` or `poi

[llvm] [clang] [FuncAttrs] Deduce `noundef` attributes for return values (PR #76553)

2023-12-28 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-backend-x86 Author: Yingwei Zheng (dtcxzyw) Changes This patch deduces `noundef` attributes for return values. IIUC, a function returns `noundef` values iff all of its return values are guaranteed not to be `undef` or `poison`. Definition of `noundef` f

[clang-tools-extra] dbd1fb8 - [clangd] Avoid crash when summarizing pointer-to-member expr for block-end hint (#76492)

2023-12-28 Thread via cfe-commits
Author: Nathan Ridge Date: 2023-12-29T02:18:48-05:00 New Revision: dbd1fb8e6f1e4a8c91059308b286f8f2a9471a8e URL: https://github.com/llvm/llvm-project/commit/dbd1fb8e6f1e4a8c91059308b286f8f2a9471a8e DIFF: https://github.com/llvm/llvm-project/commit/dbd1fb8e6f1e4a8c91059308b286f8f2a9471a8e.diff

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang @llvm/pr-subscribers-clang-static-analyzer-1 Author: Ben Shi (benshi001) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/76557.diff 2 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cp

[llvm] [clang] [WIP] Correct lowering of `fp128` intrinsics (PR #76558)

2023-12-29 Thread via cfe-commits
github-actions[bot] wrote: Thank you for submitting a Pull Request (PR) to the LLVM Project! This PR will be automatically labeled and the relevant teams will be notified. If you wish to, you can add reviewers by using the "Reviewers" section on this page. If this is not working for you, it i

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

2023-12-29 Thread via cfe-commits
https://github.com/DonatNagyE approved this pull request. Looks good to me, my only nitpick is that perhaps you could use more descriptive test names instead of distinguishing them with `_0` and `_1` suffixes. Also, perhaps wait a bit (until next year ;) ) before merging this to give other re

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

2023-12-29 Thread via cfe-commits
https://github.com/DonatNagyE edited https://github.com/llvm/llvm-project/pull/76557 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][AVR] Restrict range of assembly constraint 'G' (PR #76561)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Ben Shi (benshi001) Changes According to https://www.nongnu.org/avr-libc/user-manual/inline_asm.html, "G" only represent a float constraint "0.0". And avr-gcc also rejects other non-zero values. --- Full diff: https://github.com/llvm/llv

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

2023-12-29 Thread via cfe-commits
DonatNagyE wrote: Thanks for updating the test names. I think it's safe to merge this now (as @steakhal also had an opportunity to look at it). https://github.com/llvm/llvm-project/pull/76557 ___ cfe-commits mailing list cfe-commits@lists.llvm.org htt

[clang] [clang-format] Fix bad indentation with attribute and templated type (PR #76336)

2023-12-29 Thread via cfe-commits
https://github.com/XDeme updated https://github.com/llvm/llvm-project/pull/76336 >From 24aa5e41505eebb64288e7369a3b4f35ee0214fc Mon Sep 17 00:00:00 2001 From: XDeme Date: Sun, 24 Dec 2023 11:27:31 -0300 Subject: [PATCH 1/2] [clang-format] Fix bad indentation with attribute and templated type -

[clang] [clang][Sema] Add diagnostics for out-of-bounds vector access (PR #76569)

2023-12-29 Thread via cfe-commits
https://github.com/implicitfield created https://github.com/llvm/llvm-project/pull/76569 Fixes #76490 >From 5b95122ede9373bb031061ead75140b9f27bad29 Mon Sep 17 00:00:00 2001 From: implicitfield <114500360+implicitfi...@users.noreply.github.com> Date: Fri, 29 Dec 2023 01:52:49 +0400 Subject: [PA

[clang] [clang][Sema] Add diagnostics for out-of-bounds vector access (PR #76569)

2023-12-29 Thread via cfe-commits
github-actions[bot] wrote: Thank you for submitting a Pull Request (PR) to the LLVM Project! This PR will be automatically labeled and the relevant teams will be notified. If you wish to, you can add reviewers by using the "Reviewers" section on this page. If this is not working for you, it i

[clang] [clang][Sema] Add diagnostics for out-of-bounds vector access (PR #76569)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: None (implicitfield) Changes Fixes #76490 --- Full diff: https://github.com/llvm/llvm-project/pull/76569.diff 3 Files Affected: - (modified) clang/include/clang/Basic/DiagnosticSemaKinds.td (+8) - (modified) clang/lib/Sema/SemaChecking

[clang] [OpenMP] Introduce -fopenmp-force-usm flag (PR #75468)

2023-12-29 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 3c92011b600bdf70424e2547594dd461fe411a41 f0aaefbe923d2daa1752f3a9664dab3958346c51 --

[clang] [OpenMP][USM] Introduces -fopenmp-force-usm flag (PR #76571)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-driver Author: Jan Patrick Lehr (jplehr) Changes This flag forces the compiler to generate code for OpenMP target regions as if the user specified the #pragma omp requires unified_shared_memory in each source file. The option does not have a -fn

[clang] [Clang][RISCV] bfloat uses 'y' instead of 'b' (PR #76575)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-backend-risc-v Author: Michael Maitland (michaelmaitland) Changes Builtins.def says that bfloat should be represented by the 'y' character, not the 'b' character. The 'b' character is specified to use 'b'. The implementation currently uses 'b' correctl

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Gábor Spaits (spaits) Changes Add a checker to detect bad `std::any` type accesses. It warns, when the active type is different from the requested type when calling `std::any_cast`: ```cpp void anyCast() { std::any a = 5; char c = std:

[clang] 41ef6fc - [clang-format] Fix bad indentation with attribute and templated type (#76336)

2023-12-29 Thread via cfe-commits
Author: XDeme Date: 2023-12-29T21:27:53+01:00 New Revision: 41ef6fc54f612000fe2e498b3931fa3229c7a78c URL: https://github.com/llvm/llvm-project/commit/41ef6fc54f612000fe2e498b3931fa3229c7a78c DIFF: https://github.com/llvm/llvm-project/commit/41ef6fc54f612000fe2e498b3931fa3229c7a78c.diff LOG: [c

[clang-tools-extra] [llvm] [openmp] [clang] [PGO][OpenMP] Instrumentation for GPU devices (PR #76587)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-llvm-transforms @llvm/pr-subscribers-pgo Author: Ethan Luis McDonough (EthanLuisMcDonough) Changes This pull request is the first part of an ongoing effort to extends PGO instrumentation to GPU device code. This PR makes the following changes: - Adds b

[clang] [clang-format] Fix handling of C-Style variable definition of a struct (PR #76344)

2023-12-29 Thread via cfe-commits
https://github.com/XDeme converted_to_draft https://github.com/llvm/llvm-project/pull/76344 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-29 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 90802e652db348fd3218fcbfc3e6ac9e90702acd 1a96db3c48782b0ec6f2de403ce862b9a95917bf --

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-29 Thread via cfe-commits
@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang] Add `clang::behaves_like_std(...)` attribute (PR #76596)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Max Winkler (MaxEW707) Changes Background https://godbolt.org/z/hv53svTrq for reference on all of the below. In games debug performance is critical as much as optimized performance. We mainly accomplish this by reducing the amo

[clang] [clang-format] Fix handling of C-Style variable definition of a struct (PR #76344)

2023-12-29 Thread via cfe-commits
https://github.com/XDeme updated https://github.com/llvm/llvm-project/pull/76344 >From a55c720f344645bdad3838aaa39b136c8b8ee6dc Mon Sep 17 00:00:00 2001 From: XDeme Date: Sun, 24 Dec 2023 20:18:02 -0300 Subject: [PATCH 1/4] [clang-format] Fix handling of C-Style variable definition of a struct

[llvm] [clang] [WIP] Correct lowering of `fp128` intrinsics (PR #76558)

2023-12-29 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 3e75dece919511e4a2edada82d783304cc14a9cd f6b6ca7f26e764b2c5088230a28e49b6d5ecdbb2 --

[clang] [clang-format] Fix handling of C-Style variable definition of a struct (PR #76344)

2023-12-29 Thread via cfe-commits
https://github.com/XDeme ready_for_review https://github.com/llvm/llvm-project/pull/76344 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 0930812 - [clang-format] Add .clang-format-ignore for ignoring files (#76327)

2023-12-29 Thread via cfe-commits
Author: Owen Pan Date: 2023-12-29T19:40:44-08:00 New Revision: 09308122c6c0fa9eb3d729a2b2909733cbbc2160 URL: https://github.com/llvm/llvm-project/commit/09308122c6c0fa9eb3d729a2b2909733cbbc2160 DIFF: https://github.com/llvm/llvm-project/commit/09308122c6c0fa9eb3d729a2b2909733cbbc2160.diff LOG:

[clang-tools-extra] [compiler-rt] [libc] [lldb] [llvm] [libcxx] [clang] [flang] [libc++][variant] P2637R3: Member `visit` (`std::variant`) (PR #76447)

2023-12-29 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 886655869cef2e0f11da8981da30d70ad7892ff9 4d3ff8bd92f92404db1d1dd56e8ff4a5b5226dbb --

[clang] 925ff9e - [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (#76557)

2023-12-29 Thread via cfe-commits
Author: Ben Shi Date: 2023-12-30T14:49:42+08:00 New Revision: 925ff9e1a218720cd61bd7c9f5f85ded4ecbf9a1 URL: https://github.com/llvm/llvm-project/commit/925ff9e1a218720cd61bd7c9f5f85ded4ecbf9a1 DIFF: https://github.com/llvm/llvm-project/commit/925ff9e1a218720cd61bd7c9f5f85ded4ecbf9a1.diff LOG:

[clang] 3dc0638 - [RISCV] Add MC layer support for Zicfiss. (#66043)

2023-12-29 Thread via cfe-commits
Author: Yeting Kuo Date: 2023-12-30T15:40:20+08:00 New Revision: 3dc0638cfc19e140daff7bf1281648daca8212fa URL: https://github.com/llvm/llvm-project/commit/3dc0638cfc19e140daff7bf1281648daca8212fa DIFF: https://github.com/llvm/llvm-project/commit/3dc0638cfc19e140daff7bf1281648daca8212fa.diff LO

[clang] [WIP][ObjC] objc_direct method visibility ABI (PR #76608)

2023-12-29 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-codegen Author: Puyan Lotfi (plotfi) Changes _**Posting this PR for posterity a bit earlier than I had intended because the old Phabricator is crashing (https://discourse.llvm.org/t/cant-access-https-reviews-llvm-org/75905):**_ This patch adds t

[clang] [WIP][ObjC] objc_direct method visibility ABI (PR #76608)

2023-12-29 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 fe2e677aa7aebedd316b1a688db8410855a213c1 5e69de7ad9b67280db6d62a1c77362d37c343f47 --

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
https://github.com/whisperity edited https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [TBAA] Emit distinct TBAA tags for pointers with different depths,types. (PR #76612)

2023-12-30 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Florian Hahn (fhahn) Changes This patch extends Clang's TBAA generation code to emit distinct tags for incompatible pointer types. Pointers with different element types are incompatible if the pointee types are also incompatible (modulo

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
https://github.com/whisperity requested changes to this pull request. https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,170 @@ +// RUN: %clang %s -std=c++17 -Xclang -verify --analyze \ +// RUN: -Xclang -analyzer-checker=core \ +// RUN: -Xclang -analyzer-checker=debug.ExprInspection \ +// RUN: -Xclang -analyzer-checker=core,alpha.core.StdAny + +#include "Inputs/system-header-simulat

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
https://github.com/whisperity edited https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -87,6 +85,28 @@ bool isStdVariant(const Type *Type) { return isStdType(Type, llvm::StringLiteral("variant")); } +bool isStdAny(const Type *Type) { + return isStdType(Type, llvm::StringLiteral("any")); +} + +bool isVowel(char a) { + switch (a) { + case 'a': + case 'e':

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -58,6 +58,14 @@ void wontConfuseStdGets() { //// // std::get //// +void stdGetType2() { whisperity wrote

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -30,6 +24,9 @@ bool isMoveAssignmentCall(const CallEvent &Call); bool isMoveConstructorCall(const CallEvent &Call); bool isStdType(const Type *Type, const std::string &TypeName); bool isStdVariant(const Type *Type); +bool isStdAny(const Type *Type); whisperi

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -2095,6 +2095,27 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl // returned block } +.. _alpha-core-StdAny: + +alpha.core.StdAny (C++) +""" +Check if a value of active type is retrieved from a

[clang] [analyzer] Add std::any checker (PR #76580)

2023-12-30 Thread via cfe-commits
@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang] Constexpr for __builtin_shufflevector and __builtin_convertvector (PR #76615)

2023-12-30 Thread via cfe-commits
github-actions[bot] wrote: Thank you for submitting a Pull Request (PR) to the LLVM Project! This PR will be automatically labeled and the relevant teams will be notified. If you wish to, you can add reviewers by using the "Reviewers" section on this page. If this is not working for you, it i

[clang] [clang] Constexpr for __builtin_shufflevector and __builtin_convertvector (PR #76615)

2023-12-30 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Pol M (Destroyerrrocket) Changes Summary: This patch adds constexpr support for __builtin_shufflevector and __builtin_convertvector. A small oddity encountered was that the arg to the intrinsics may be an lvalue without any sort of impl

[clang] fa8347f - [Clang][RISCV] bfloat uses 'y' instead of 'b' (#76575)

2023-12-30 Thread via cfe-commits
Author: Michael Maitland Date: 2023-12-30T11:31:26-05:00 New Revision: fa8347fbc602d78a7e4297aa83a686b62943d828 URL: https://github.com/llvm/llvm-project/commit/fa8347fbc602d78a7e4297aa83a686b62943d828 DIFF: https://github.com/llvm/llvm-project/commit/fa8347fbc602d78a7e4297aa83a686b62943d828.di

[clang] [ASTMatchers] fix captureVars assertion failure on capturesVariables (PR #76619)

2023-12-30 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Ding Fei (danix800) Changes Fixes #76425 --- Full diff: https://github.com/llvm/llvm-project/pull/76619.diff 2 Files Affected: - (modified) clang/include/clang/ASTMatchers/ASTMatchers.h (+2) - (modified) clang/unittests/ASTMatchers/AST

[clang] 8346e86 - [clang] Add build type to LibASTMatchersTutorial.rst cmake (#76301)

2023-12-30 Thread via cfe-commits
Author: Craig Hesling Date: 2023-12-30T19:24:14+01:00 New Revision: 8346e8608f5eb7ad03f2c6beacda43af563b4eae URL: https://github.com/llvm/llvm-project/commit/8346e8608f5eb7ad03f2c6beacda43af563b4eae DIFF: https://github.com/llvm/llvm-project/commit/8346e8608f5eb7ad03f2c6beacda43af563b4eae.diff

[clang] [Clang][Parser] Fix crash of clang when using C++ constructs like :: in C code (PR #74926)

2023-12-30 Thread via cfe-commits
https://github.com/ChipsSpectre updated https://github.com/llvm/llvm-project/pull/74926 >From cb46f3aab771133e3987c65bcbd1f6011792e74c Mon Sep 17 00:00:00 2001 From: ChipsSpectre Date: Sat, 30 Dec 2023 23:01:12 +0100 Subject: [PATCH] [clang][Parse] `TryAnnotateCXXScopeToken` to be called only

[clang] [Clang][Parser] Fix crash of clang when using C++ constructs like :: in C code (PR #74926)

2023-12-30 Thread via cfe-commits
ChipsSpectre wrote: @tbaederr The build is fixed now. Can you merge the pull request? Since I have no write access to llvm-project, it seems I can not do it on my own: ![Screenshot](https://github.com/llvm/llvm-project/assets/11499442/e0fb925f-a72a-4c1e-827f-cb39c99faa4c) https://github.com/

[clang] [Driver][Solaris] Remove reachable llvm_unreachable (PR #76645)

2023-12-30 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Brad Smith (brad0) Changes Remove the llvm_unreachable from getSolarisLibSuffix(). The code path is reachable. In the case of an unsupported architecture we're not worrying about trying to actually find the library paths, and I don't think

[clang] [clang][Sema] Warn on self move for inlined static cast (PR #76646)

2023-12-30 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Max Winkler (MaxEW707) Changes There are code bases that inline `std::move` manually via `static_cast`. Treat a static cast to an xvalue as an inlined `std::move` call and warn on a self move. --- Full diff: https://github.com/llvm/llvm-p

[clang] [clang] Add `clang::behaves_like_std(...)` attribute (PR #76596)

2023-12-31 Thread via cfe-commits
cor3ntin wrote: I struggle to understand the motivation here: If you are not using a standard library implementation at all and instead act as your own standard library vendor, just providing a declaration of move / forward should be enough. The concern about ABI tags only come up if the STL i

[clang-tools-extra] [clang] In compilation databases, add support for relative directories (PR #69856)

2023-12-31 Thread via cfe-commits
https://github.com/Overhatted updated https://github.com/llvm/llvm-project/pull/69856 >From 071f8df3f82798255bcc0e2787fd7167b607d59f Mon Sep 17 00:00:00 2001 From: Overhatted <15021741+overhat...@users.noreply.github.com> Date: Fri, 15 Dec 2023 15:53:56 + Subject: [PATCH] In compilation data

[clang] 61999b1 - [clang][Darwin] Remove legacy framework search path logic in the frontend (#75841)

2023-12-31 Thread via cfe-commits
Author: Louis Dionne Date: 2023-12-31T05:15:49-05:00 New Revision: 61999b18c407b9f5c07577e63057d41c65240e61 URL: https://github.com/llvm/llvm-project/commit/61999b18c407b9f5c07577e63057d41c65240e61 DIFF: https://github.com/llvm/llvm-project/commit/61999b18c407b9f5c07577e63057d41c65240e61.diff

[clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

2023-12-31 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balazs Benics (steakhal) Changes Cleanup most of the lazy-init `BugType` legacy. Some will be preserved, as those are slightly more complicated to refactor. Notice, that the default category for `BugType` is `LogicError`.

[clang] 1228bec - [FuncAttrs] Deduce `noundef` attributes for return values (#76553)

2023-12-31 Thread via cfe-commits
Author: Yingwei Zheng Date: 2023-12-31T20:44:48+08:00 New Revision: 1228becf7df28c68579f2b9b390b74aa41149a0a URL: https://github.com/llvm/llvm-project/commit/1228becf7df28c68579f2b9b390b74aa41149a0a DIFF: https://github.com/llvm/llvm-project/commit/1228becf7df28c68579f2b9b390b74aa41149a0a.diff

[clang-tools-extra] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
https://github.com/schenka0 created https://github.com/llvm/llvm-project/pull/76668 This fixes the issue reported in #76667 and adds an initial unit test for isSpelledInSource(). Note that in that issue there was still some underlying corrupted AST, but this at least makes isSpelledInSource()

[clang-tools-extra] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
github-actions[bot] wrote: Thank you for submitting a Pull Request (PR) to the LLVM Project! This PR will be automatically labeled and the relevant teams will be notified. If you wish to, you can add reviewers by using the "Reviewers" section on this page. If this is not working for you, it i

[clang-tools-extra] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clangd Author: None (schenka0) Changes This fixes the issue reported in #76667 and adds an initial unit test for isSpelledInSource(). Note that in that issue there was still some underlying corrupted AST, but this at least makes isSpelledInSource() ro

[clang-tools-extra] [clangd] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
https://github.com/schenka0 edited https://github.com/llvm/llvm-project/pull/76668 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang-tools-extra] [clangd] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
schenka0 wrote: PR: @sam-mccall https://github.com/llvm/llvm-project/pull/76668 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[llvm] [clang] [clang-tools-extra] [clangd] Fix is spelled in source bug (PR #76668)

2023-12-31 Thread via cfe-commits
https://github.com/schenka0 updated https://github.com/llvm/llvm-project/pull/76668 >From c9e2b9ad57aa9bac52324c91fe6d4ec1aa39ff41 Mon Sep 17 00:00:00 2001 From: schenka0 <154034018+schen...@users.noreply.github.com> Date: Mon, 1 Jan 2024 01:31:05 -0500 Subject: [PATCH 1/2] Check for invalid SLo

[clang] 0871c4b - [Driver][Solaris] Remove reachable llvm_unreachable (#76645)

2024-01-01 Thread via cfe-commits
Author: Brad Smith Date: 2024-01-01T04:31:27-05:00 New Revision: 0871c4beb826feba2d2aaf2c3efbe1fdeba7624a URL: https://github.com/llvm/llvm-project/commit/0871c4beb826feba2d2aaf2c3efbe1fdeba7624a DIFF: https://github.com/llvm/llvm-project/commit/0871c4beb826feba2d2aaf2c3efbe1fdeba7624a.diff LO

[llvm] [clang] [mlir] Fix unsigned typos (PR #76670)

2024-01-01 Thread via cfe-commits
https://github.com/Rageking8 created https://github.com/llvm/llvm-project/pull/76670 None >From 1412b138fb3ebe6b2bb71189e7cb4f8b4fd72234 Mon Sep 17 00:00:00 2001 From: Rageking8 <106309953+rageki...@users.noreply.github.com> Date: Mon, 1 Jan 2024 18:13:42 +0800 Subject: [PATCH] Fix unsigned typ

[mlir] [clang] [llvm] Fix unsigned typos (PR #76670)

2024-01-01 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-mc @llvm/pr-subscribers-backend-webassembly Author: None (Rageking8) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/76670.diff 7 Files Affected: - (modified) clang/test/Analysis/additive-op-on-sym-int-expr.c (+2-2) - (modified) l

[clang] [clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (PR #76671)

2024-01-01 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Ben Shi (benshi001) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/76671.diff 2 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp (+4-2) - (modified) clang/test/Analysis/e

<    41   42   43   44   45   46   47   48   49   50   >