[RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment #79240

ChuanqiXu9 · 2024-01-24T02:16:55Z

The false positive ODR violation diagnostic for modules have been an annoying problem for a long time. We've received a lot of issue reports about it and I rarely see the reports saying the mechanism find real ODR violations. (a suspicious one may be #61643).

Then in a private chat with MSVC developer, he told me MSVC don't check ODR violations in the global module fragment. This is a surprise to me and I never thought we can proceed by this. I feel this may be a regression at first. But I feel it might make sense due to:

Like I said before, there are a lot of false positive ODR violation diagnostic while the true positive diagnostics are much less.
On the other hand, given that the things in the global module fragment are mostly from headers, it won't be a regression compared with the era before modules.
It is really hard for the compiler to get ODR Hash correct in the GMF due to the complexity of headers and C++. An example may be [C++20] [Modules] False Positive ODR violation diagnostic due to using inconsistent qualified but the same type #78850. While all of us love standard conforming implementation, sometimes it is really hard to get things right.

So I'd like to take the same strategy with MSVC to not check ODR violations in the global module fragment.

Given the fact that this is actually a regression on the standard conformance, I am not sure if people have different opinions.

llvmbot · 2024-01-24T02:17:11Z

@llvm/issue-subscribers-clang-modules

Author: Chuanqi Xu (ChuanqiXu9)

The false positive ODR violation diagnostic for modules have been an annoying problem for a long time. We've received a lot of issue reports about it and I rarely see the reports saying the mechanism find real ODR violations. (a suspicious one may be https://github.com//issues/61643).

Then in a private chat with MSVC developer, he told me MSVC don't check ODR violations in the global module fragment. This is a surprise to me and I never thought we can proceed by this. I feel this may be a regression at first. But I feel it might make sense due to:

Like I said before, there are a lot of false positive ODR violation diagnostic while the true positive diagnostics are much less.
On the other hand, given that the things in the global module fragment are mostly from headers, it won't be a regression compared with the era before modules.
It is really hard for the compiler to get ODR Hash correct in the GMF due to the complexity of headers and C++. An example may be [C++20] [Modules] False Positive ODR violation diagnostic due to using inconsistent qualified but the same type #78850. While all of us love standard conforming implementation, sometimes it is really to get things right.

So I'd like to take the same strategy with MSVC to not check ODR violations in the global module fragment.

Given the fact that this is actually a regression on the standard conformance, I am not sure if people have different opinions.

Previosly we land 085eae6 to workaround the false positive ODR violations in #76638. However, we decided to not perform ODR checks for decls from GMF in #79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

mizvekov · 2024-01-29T21:55:03Z

This is hiding real bugs, I feel like this is going too far for people who are striving for correctness here.

With this change, this behavior is not even controlled by a flag, so it feels like we are putting this under the rug indefinitely.

cor3ntin · 2024-01-29T22:13:32Z

Putting the behavior behind a flag does sound like a worthy compromise to me.

dwblaikie · 2024-01-30T00:19:12Z

Is anyone signing up to use that flag today, on a significant codebase on an ongoing basis, today? Otherwise I'd be inclined to leave it out until there's such a user signing up. I'd rather not add it speculatively.

dwblaikie · 2024-01-30T00:19:43Z

& might be worth discussing adding the flag in a separate issue, or a PR?

mizvekov · 2024-01-30T01:05:13Z

There are two kinds of bugs / issues relevant here:

Clang bugs that this change hides
Here we can add a Frontend flag that disables the GMF ODR check, just so we can keep tracking, testing and fixing these issues.
The Driver would just always pass that flag.
We could add that flag in this current issue.
Bugs in user code:
I don't think it's worth adding a corresponding Driver flag for controlling the above Frontend flag, since we intend it's behavior to become default as we fix the problems, and users interested in testing the more strict behavior can just use the Frontend flag directly.

ChuanqiXu9 · 2024-01-30T03:15:10Z

A frontend only flag looks reasonable. I'll make it later.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

@mizvekov

Close #79240 Cite the comment from @mizvekov in //github.com//issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

ChuanqiXu9 · 2024-02-01T06:56:52Z

I'm trying to backport this to clang18 in #80249

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

Previosly we land llvm@085eae6 to workaround the false positive ODR violations in llvm#76638. However, we decided to not perform ODR checks for decls from GMF in llvm#79240 and we land the corresponding change. So we should be able to remove the workaround now. The original tests get remained.

@mizvekov

Close llvm#79240 Cite the comment from @mizvekov in //github.com/llvm/issues/79240: > There are two kinds of bugs / issues relevant here: > > Clang bugs that this change hides > Here we can add a Frontend flag that disables the GMF ODR check, just > so > we can keep tracking, testing and fixing these issues. > The Driver would just always pass that flag. > We could add that flag in this current issue. > Bugs in user code: > I don't think it's worth adding a corresponding Driver flag for > controlling the above Frontend flag, since we intend it's behavior to > become default as we fix the problems, and users interested in testing > the more strict behavior can just use the Frontend flag directly. This patch follows the suggestion: - Introduce the CC1 flag `-fskip-odr-check-in-gmf` which is by default off, so that the every existing test will still be tested with checking ODR violations. - Passing `-fskip-odr-check-in-gmf` in the driver to keep the behavior we intended. - Edit the document to tell the users who are still interested in more strict checks can use `-Xclang -fno-skip-odr-check-in-gmf` to get the existing behavior.

Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too.

@topperc

Co-authored-by: Petar Avramovic <Petar.Avramovic@amd.com> Co-authored-by: Piotr Sobczak <piotr.sobczak@amd.com> [AMDGPU][GFX12] VOP encoding and codegen - add support for v_cvt fp8/… (llvm#78414) …bf8 instructions Add VOP1, VOP1_DPP8, VOP1_DPP16, VOP3, VOP3_DPP8, VOP3_DPP16 instructions that were supported on GFX940 (MI300): - V_CVT_F32_FP8 - V_CVT_F32_BF8 - V_CVT_PK_F32_FP8 - V_CVT_PK_F32_BF8 - V_CVT_PK_FP8_F32 - V_CVT_PK_BF8_F32 - V_CVT_SR_FP8_F32 - V_CVT_SR_BF8_F32 --------- Co-authored-by: Mateja Marjanovic <mateja.marjanovic@amd.com> Co-authored-by: Mirko Brkušanin <Mirko.Brkusanin@amd.com> (cherry picked from commit cfddb59) [RISCV] Support __riscv_v_fixed_vlen for vbool types. (llvm#76551) 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. A consequence of this is that vbool64_t, vbool32_t, and vool16_t can only be used with a vector length that guarantees at least 8 bits. [Docs] Fix documentation build. Missing ending `` after c92ad41 Backport '[clang] static operators should evaluate object argument (reland)' to release/18.x (llvm#80109) Cherry picked from commit ee01a2c. Closes llvm#80041, backport llvm#80108. Co-authored-by: Shafik Yaghmour <shafik@users.noreply.github.com> Co-authored-by: cor3ntin <corentinjabot@gmail.com> Co-authored-by: Aaron Ballman <aaron@aaronballman.com> PR for llvm#79568 (llvm#80120) Backporting llvm#79568 to clang 18. [docs] Add release notes for Windows specific changes in 18.x (llvm#80011) [AArch64] Add some release notes items (llvm#79983) [C++20] [Modules] Don't perform ODR checks in GMF Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too. [clang] Fix unexpected `-Wconstant-logical-operand` in C23 (llvm#80724) C23 has `bool`, but logical operators still return int. Check that we're not in C to avoid false-positive -Wconstant-logical-operand. Fixes llvm#64356 (cherry picked from commit a18e92d) [18.x][Docs] Add release note about Clang-defined target OS macros (llvm#80044) The change is included in the 18.x release. Move the release note to the release branch and reformat. (cherry picked from commit b40d5b1) ReleaseNotes: mention -mtls-dialect=desc (llvm#82731) [Clang] Fixes to immediate-escalating functions (llvm#82281) * Consider that immediate escalating function can appear at global scope, fixing a crash * Lambda conversion to function pointer was sometimes not performed in an immediate function context when it should be. Fixes llvm#82258 (cherry picked from commit baf6bd3) [Clang] [Sema] Handle placeholders in '.*' expressions (llvm#83103) When analysing whether we should handle a binary expression as an overloaded operator call or a builtin operator, we were calling `checkPlaceholderForOverload()`, which takes care of any placeholders that are not overload sets—which would usually make sense since those need to be handled as part of overload resolution. Unfortunately, we were also doing that for `.*`, which is not overloadable, and then proceeding to create a builtin operator anyway, which would crash if the RHS happened to be an unresolved overload set (due hitting an assertion in `CreateBuiltinBinOp()`—specifically, in one of its callees—in the `.*` case that makes sure its arguments aren’t placeholders). This pr instead makes it so we check for *all* placeholders early if the operator is `.*`. It’s worth noting that, 1. In the `.*` case, we now additionally also check for *any* placeholders (not just non-overload-sets) in the LHS; this shouldn’t make a difference, however—at least I couldn’t think of a way to trigger the assertion with an overload set as the LHS of `.*`; it is worth noting that the assertion in question would also complain if the LHS happened to be of placeholder type, though. 2. There is another case in which we also don’t perform overload resolution—namely `=` if the LHS is not of class or enumeration type after handling non-overload-set placeholders—as in the `.*` case, but similarly to 1., I first couldn’t think of a way of getting this case to crash, and secondly, `CreateBuiltinBinOp()` doesn’t seem to care about placeholders in the LHS or RHS in the `=` case (from what I can tell, it, or rather one of its callees, only checks that the LHS is not a pseudo-object type, but those will have already been handled by the call to `checkPlaceholderForOverload()` by the time we get to this function), so I don’t think this case suffers from the same problem. This fixes llvm#53815. --------- Co-authored-by: Aaron Ballman <aaron@aaronballman.com> [InstCombine] Fix miscompilation in PR83947 (llvm#83993) https://github.com/llvm/llvm-project/blob/762f762504967efbe159db5c737154b989afc9bb/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp#L394-L407 Comment from @topperc: > This transforms assumes the mask is a non-zero splat. We only know its a splat and not provably all 0s. The mask is a constexpr that includes the address of the global variable. We can't resolve the constant expression to an exact value. Fixes llvm#83947. SystemZ release notes for 18.x. (llvm#84560) Remove support for EXPORTAS in def files to maintain ABI compatibility for COFFShortExport [clang][Sema] Fix a CTAD regression after 42239d2 (llvm#86914) The most recent declaration of a template as a friend can introduce a different template parameter depth compared to what we anticipate from a CTAD guide. Fixes llvm#86769 [clang] Avoid -Wshadow warning when init-capture named same as class field (llvm#74512) Shadowing warning doesn't make much sense since field is not available in lambda's body without capturing this. Fixes llvm#71976 [SLP]Fix a crash if the argument of call was affected by minbitwidth analysis. Need to support proper type conversion for function arguments to avoid compiler crash. Fix override keyword being print to the left side Previously, the `override` keyword in C++ was being print in the left side of a method decl, which is unsupported by C++ standard. This commit fixes that by setting the `CanPrintOnLeft` field to 0, forcing it to be print on the right side of the decl. Signed-off-by: Giuliano Belinassi <gbelinassi@suse.de> [clang codegen] Fix MS ABI detection of user-provided constructors. (llvm#90151) In the context of determining whether a class counts as an "aggregate", a constructor template counts as a user-provided constructor. Fixes llvm#86384 (cherry picked from commit 3ab4ae9) release/18.x: [libclc] Fix linking against libIRReader Fixes llvm#91551 Update llvm/test/Transforms/InstCombine/bit_ceil.ll Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com> [RISCV] Add a unaligned-scalar-mem feature like we had in clang 17. This is ORed with the fast-unaligned-access feature which applies to scalar and vector together.: Regular squash. Cobol/PlI changes from 785ddc60@https://gitlab.phidani.be/Chirag.Patel/lldb.git Cobol/PLI support added from 6cefb217f097ac@https://gitlab.phidani.be/Chirag.Patel/llvm.git [LLDB] added lldb rpmbuild spec file [RPMBuild] Added lldb rpmbuild support. [LLDBRpm] added version for yum update. [lldb_rpm] minor cleanup. Build fix rleated to RTTI. build fix. [DWARFASTParserLegacy] Initial support for union type. [lldb][LegacyTypeSystem] Changed struct/union member offset from bytes to bits to support DW_AT_data_bit_offset. [lldbrpm] changed version suffix. [LegacyASTContext] Fix var string length display. [LLDB][CobolUserExpression] Added AST node Function call place holder. build fix. [LLVM][Test] Fixed assembler round trip test. [LLDB][CobolUserExpression] Added ast evaluation for sizeof operator. [LLDB][CobolUserExpression] Added placeholder in parser for func call. [LLDB][CobolUserExpression] Added sizeof operator, temporary placeholder for LENGTH OF. [LLDB][PLIUserExpression] Fixed array indexing. [LLDB][ValueObjectPrinter] Skip summary if custom format is requested. [LLDB][PLILanguage] changed bitset size, read from array type name. [LLDB][ValueObject] Fixed pli var string length read. [LLDB][PLILanguage] Fixed support for var string summary formatter. [LLVM][DIBuilder][C-API] Added changes to add lexical scope info for auto variable for functions. [LLVM][AsmCodegen] Added raincode extention AT_lexical_scope. [LLDB][SymbolFileDWARF] Added support for RAINCODE_lexical_scope attribute. [LLDB][PLIUserExpression] Added sizeof operator support, it will be renamed to proper functiona name later. [LLDB][ValueObject] minor cleanup. [LLDB][PLIUserExpression] Added STORAGE/STG builtin func support. [LLDB][PLIUserExpression][CobolUserExpression] Added LENGTH() for Cobol and STG/STORAGE() for PL/I, removed sizeof operator for both. [LLDB][DWARFASTParserLegacy] Added placeholder for DW_TAG_reference_type. [LLVM][CodeGen][AsmPrinter] Added DW_AT_name attribute to TAG_array_type. [LLDB][DWARFExpression] minor cleanup. [LLDB][PLILanguage] Fixed bitset array size read from array type. [LLDB][LegacyASTContext] Moved bit array calculation to type system. [LLVM][AsmPrinter] Fixed TAG_array duplicate attribute export. [LLVM][C-API] Changes array type api. [LLDB][PLI/Cobol UserExpression] Fixed array indexing, removed c style [] index access. [LLDB][PLIUserExpression] minor fix. [LLDB] Fixed bug relating struct member name access for Cobol/PL1. fixed coding style/whitespace/typos. [LLDB][LegacyTypeSystem] Place holder beautification for edited types. [LLDB] rpm version upgrade. [LLDB][CobolUserExpression] Fixed pic string ref modifier. [LLDB][TypeSystem] Added support to mutate existing type length, fixed cobolUserExpression refmod for display type. [LLDB][CobolUserExpression] Fixed lower bound ref modifier. [LLDB][Cobol/PLI UserExpression] Fixed error while searching for var, do not fully resolve type. [LLDB][RPM] fixed rpm version. cleanup, reduce number of changes from trunk. cleanup, reduce number of changes fomr trunk. build fix. Build fix. Build fix. [LegacyASTContext] Fixed bug relating packed decimal going through ebcdic iconv. [LLVM][DebugInfo] Fixed DIExpression node uniquness issue. build fix. cleanup. Refactoring, moved LegacyASTContext to Plugin typeSystem Legacy. Refactoring, renamed TypeSystem class. build fix. build fix, cleanup. cleanup fixed assert failure. [CobolUserExpression] Added placeholder for simpe assignment operator. [CobolUserExpression] Added basic support for assigment to variables. [CobolUserExpression] Added cobol move-to set-to syntex support. [LegacyTypeSystem][CobolUserExpression] Added literal type double,string. Added TypeSystem Encoding helper functions. [CobolLexer] Added string,float literal type support. [PLIUserExpression] Added assignment operator support. [CobolUserExpression] Added assignment comp-3 support. [PLIUserExpression] Assignment added pli display type support. temporary build fix. DIExpression asmprinter, print null for invalid entry. [Cobol/PLI UserExpression] Assignment endianity bug fix. [Cobol/PLIUserExpression] fixed data extractpr assert, fixed int precision convertion written as zero. [Cobol/PLIUserExpression] Assignment display type assert failure. build fix. [PLIUserExpression] Added support for var string assignment. [LegacyUserExpression] Simple semantic check place-holder. [CobolUserexpression] Assignment expression fixed display, array types. [TypeSystem] fixed encode int precision bug for i64 to i32. [PLI/Cobol UserExpression] fixed support for assinment into refmod data type. [CobolUserExpression] Fixed assignment display/comp-3 regression. temporary build fix. python3 lib on server needs few changes for this build. [TypeSystemLegacy] Fixed edited type display, skip formatting for edited type. [lldbrpm] package lldb-python-script too. [CobolUserExpression] Fixed SelctorOf expression with array index access e.g (lldb)p LastName1 of VAR(1) of TAB. [CobolUserExpression] Assignment to packed decimal fixed, added digit count read support from dwarf instead of runtime calculation. [CoboUserExpression] Fixed assignment string invalid byte order. [PLIUserExpression] Fixed string padding with space. [CobolUserExpression] Fixed Assignment string space padding. [LegacyTypeSysten] fixed crash in encoding due to long length the assignment. [CobolUserExpression][PLIUserExpression] fixed segfault. [DebugInfo] export identifier case as insensitive for PLI/Cobol compiled units. [TypeSystemLegacy] Fixed minor bug with dataencoding. rebase build fix. [StackFrame] fixed support for cobol/pli modref select syntex. case-insensitive breakpoint resolution for PLI/Cobol languages. cleanup. build fix. added initial support for TAG_dynamic_type. added c/c++ api to create dynamic type debug info. [DebugInfo] Added support to generate dwarf attribute DW_AT_allocated for DW_TAG_dynamic_type [PLIUserExpression][CobolUserExpression] Fixed name variable lookup for few cases. [DWARFASTParserLegacy] Initial support to parse TAG_dynamic_type. [AsmPrinter] Fix minor mistake for TAG_dynamic DW_AT_allocated. [TypeSystemLegacy] Added dynamic type place holder. [LLVM][AsmPrinter] Allow OP_call2/4 expression on local variable location. build fix. [LLDB][CompilerType] Added support to fetch dynamic type info. [lldb][ValueObjectVariable] Added dynamic variable read support. [LLDB][ValueObjectVariable] Added allocated check for dynamic types. [LLDB][ValueObjectVariable] fixed TAG_dynamic type attributes optional. [LLVM][DebugInfoMetadata] Fixed minor function call. [LLDB][TypeSystemLegacy] Added dynamic type info support. build fix. for jekins, use python3 sharedlibs lldbrpm use python3. temporary build fix. [LLDB][DWARFExpression] Added temporary operation extension for address calculation with file address in dwarf v5. [LLVM][CodeGen] Fixed dynamic type dwarf expression call2/call4 assert. [LLVM][Verifier] Added dynamic type check. [LLVM][Verifier] Added debugInfo verifier dynamic type extra checks. [LLDB][TypeSystemLegacy] Added check to avoid direct nested dynaic types. [LLVM][DebugInfo] Adding DW_OP_call2/4 support in TAG_subrange attributes DW_AT_lower_bound, DW_AT_upper_bound. [LLDB] Added option to hide frames with invalid line entry target.hide-invalid-legacy-frames, this is a temporary placeholder and it will be moved to more suitable location in future. [LLDB][DataFormatters] Fixed printing of char arrays with non-default format. [LLDB][StackFrame] Added check for member name lookup to reject array of structs. [lldb][DataFormatters] fixed multi-dimesional string formatting. [LLDB][ValueObjectVariable] cleanup: proper error message. [LLVM][DwarfUnit] Added DW_OP_call2/call4 support for array type. [LLVM][DwarfCompileUnit] fixed assert failure with DW_OP_call2/call4. [DIBuilder] Added DW_AT_static_link support. [LLVM][C-API][DebugInfo] Added support for DW_AT_static_link. [DebugInfo] fixed minor bug with Staticlink attribute generation. [DebugInfo] static link cleanup. rebase build fix. [LLDB][DWARFParser] Added initial support to parse DW_AT_static_link. [LLDB][StackFrame] Added support to read static link address. [LLDB][StackFrameList] Added helper function to search stack list using static link. [LLDB][ValueObjectPrinter] regression fix for hex format value print. [LLDB] build fix. [LLDB][ExpressionParser] bug fixed for positive int expression e.g. p move +3 to var. [LLDB][TypeSystemLegacy] Fixed bcd signed preferred value encoding. [LLVM][DebuggerTuning] default tune for lldb. [LLDB][TypeSystemLegacy] iconv try approximate and ignore if not possible, for character decoding. rebase build fix. [LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwriting. [LLDB][UserExpression] Temporary revert variable name bug. rebase build fix. rebase build fix. rebase build fix. initial placeholder for DW_AT_RAINCODE_static_link_recv. [LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwrite. [LLDB][Test] fixed UnsupportedLanguage test failure. [LLDB][CobolUserExpression] Place holder for compare operations. lldbrpm, temporary skip python dir. [CobolUserExpression] Adding placeholder for equality comparision. [PLIUserExpression] PLILexer, added partial support for comparision operators. [LLDB][DataExtractor] bytes compare func. rebase build fix. rebase build fix. Added DW_AT_RAINCODE_frame_base Patch by Amin! [LLDB][DWARFParser] Added support to parse DW_AT_RAINCODE_frame_base. build fix. [LLVM] Fix dynamic type [LLVM-C][API] Add api to create a dynamic DISubrange [LLDB] Add support for DW_AT_count as a DWARFExpression - Add DWARFExpression in ArrayInfo; - Add LegacyDynamicArray type for dynamic arrays; - Evaluate count expression every time we re-evaluate DW_AT_location. Rebase and fix compilation failures Only print case sensitiveness if source language is Cobol or PL/1. Fixes the following regressions: LLVM :: DebugInfo/X86/dwarf-public-names.ll LLVM :: DebugInfo/X86/length_symbol_difference.ll LLVM :: MC/X86/dwarf-size-field-overflow.test LLVM :: tools/llvm-dwarfdump/X86/statistics.ll (cherry picked from commit ff848081162f81ef3c5d8f447b6c28dd564d4ada) Use correct record size of DIDerivedType Use last index for Annotations replace dyn_cast with dyn_cast_or_null to handle invalid input smoothly Rebasing on LLVM-17-init and fixes regressions LZLANG-2470 valgrind vs. lldb_private::TargetCharsetReader::convert - remove the static buffer_length variable, which may not be big enough. - remove the loop - add lldb console errno logging when there is an iconv error. (cherry picked from commit 120402f28f787a90f65f725307519343b5937fee) LZLANG-2470 Fixes for previous lldb_private::TargetCharsetReader::convert changes. (cherry picked from commit 918c9b62a63b71347ebee5a7ccd0bd42bbdfc118) Lexer Bug Fix COBOL/PLI lexer would return variable name with '\n' at the start. 1155199180 (cherry picked from commit 7266c35747b19a11081b3fab07f6773bfb15fa1f) Ported Abhishek's Fix -Set is_singed for int variables [lldb] Bridge the gap when debugging the variable with command and codelldb (cherry picked from commit d88ad8abed856d239628d4cda3fad393fef1ba0e) Build Fixes after cherry-pick previous commit strings set by codelldb must be enclosed in quotes (cherry picked from commit 0072c09fbe9f5ead6bde25060dc8e9f4265989b3) Bug fix: p var = val in PLI didn't work (cherry picked from commit 9f3d16f85434cbd17e26d429622cd6b557eddacb) Port Abhisheks Fixes -Fix for MOVE val TO VAR [lldb] Added the DemangledNameContainsPath overload for pli/cobol (cherry picked from commit 552cf62d001beb59327e4fb81cd4620ee0d62c55) Fix warnings Fields of a struct array can now be used with `p` e.g FIELD(5) is equivalent to FIELD OF ARR(5) See ticket 1152892604 (cherry picked from commit 5e02341b015fddaca13a674b34228fe2b080a54c) Cobol-style multi-index support added (cherry picked from commit 7b0e7ae494ca2a9799e1f09d87146113de2e0f38) Fixed LENGTH(var) expression -get the size of var from lldb (cherry picked from commit 50657e2e7b2ec81a13764ca0105c130cc95ccfc7) Warning Fixes Make breakpoint Cases Insensitive Fixed Build and Regression failure after rebase Fixed warnings seen during lldb build [lldb] Store real bitwidth from debuginfo in Scalar Type Storing in higher bitwidth than required or specified by debug info creates problem when byteswap is done. Make comparison of breakpoint names case insensitive in `findEntryOffsetInCurrentIndex` 1156642284 typo fix: s/key/Key/ [lldb] Fix DWARFASTParser to correctly parse DW_AT_count for dynamic arrays [lldb] Change the way we look for variables in StackFrame for Legacy Languages 1156032652 [lldb] Bugfix in LENGTH(var) [cobol] and STG(var) [pli] We were encoding 4 bytes of LENGTH data and reading 8 bytes which cause a problem. Using size_t instead of uint32_t fixes the problem. [lldb] Fix cast failure in FindFieldInStructArray Complicated expressions in lldb broke the assumption that the expression is an identifier, thus we got a cast error. This fix removes that from happening and also fixes the bug that if the identifier is an array itself the last index specified in the input is used to index that variable itself. e.g 01 SAMPLE-TABLE. 05 TABLE-DEPTH OCCURS 3 TIMES. 10 TABLE-ROW OCCURS 3 TIMES. 15 TABLE-COLUMN OCCURS 3 TIMES PIC 9(8). Here TABLE-ROW(1, 2) means second element of TABLE-ROW OF TABLE-DEPTH(1). Revert "[lldb] Fix cast failure in FindFieldInStructArray" This reverts commit c1bab0e0b6a798698196434c7bb6cbe391fcdc1b. [lldb] Add support for IBM array-indexing syntax see 1156841764 [lldb] Fix cast error and support non-ibm indexing syntax see 1156841764 [lldb] Fixes After Rebase on llvmorg-18.1.4 [lldb] Fix bug in display of varying PLI strings See 1156884604 The STG function also should include the prefix when counting the size, which for now is 2 bytes for all strings because the PLI compiler doesn't support COMPAT(V3) version. If in the future we do support it, we would need to fix this again. (cherry picked from commit 4b39f3e1b55c3df09f5cb89dcdd347682f790ba9) [lldb] Add basic support for Level88 conditions [lldb] Add support for calling the runtime function rc_cob_level88 directly from the "p" command [lldb] Print the value of level88 variables as true/false with parent name. Prints the value of level88 condition names by calling the runtime functions and formatting it nicely. [lldb] Add support for indexed level88 variables [lldb] Fixes After Rebase on llvm main [LLDB] Preparation for upstream

@topperc

Co-authored-by: Petar Avramovic <Petar.Avramovic@amd.com> Co-authored-by: Piotr Sobczak <piotr.sobczak@amd.com> [AMDGPU][GFX12] VOP encoding and codegen - add support for v_cvt fp8/… (llvm#78414) …bf8 instructions Add VOP1, VOP1_DPP8, VOP1_DPP16, VOP3, VOP3_DPP8, VOP3_DPP16 instructions that were supported on GFX940 (MI300): - V_CVT_F32_FP8 - V_CVT_F32_BF8 - V_CVT_PK_F32_FP8 - V_CVT_PK_F32_BF8 - V_CVT_PK_FP8_F32 - V_CVT_PK_BF8_F32 - V_CVT_SR_FP8_F32 - V_CVT_SR_BF8_F32 --------- Co-authored-by: Mateja Marjanovic <mateja.marjanovic@amd.com> Co-authored-by: Mirko Brkušanin <Mirko.Brkusanin@amd.com> (cherry picked from commit cfddb59) [RISCV] Support __riscv_v_fixed_vlen for vbool types. (llvm#76551) 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. A consequence of this is that vbool64_t, vbool32_t, and vool16_t can only be used with a vector length that guarantees at least 8 bits. [Docs] Fix documentation build. Missing ending `` after c92ad41 Backport '[clang] static operators should evaluate object argument (reland)' to release/18.x (llvm#80109) Cherry picked from commit ee01a2c. Closes llvm#80041, backport llvm#80108. Co-authored-by: Shafik Yaghmour <shafik@users.noreply.github.com> Co-authored-by: cor3ntin <corentinjabot@gmail.com> Co-authored-by: Aaron Ballman <aaron@aaronballman.com> PR for llvm#79568 (llvm#80120) Backporting llvm#79568 to clang 18. [docs] Add release notes for Windows specific changes in 18.x (llvm#80011) [AArch64] Add some release notes items (llvm#79983) [C++20] [Modules] Don't perform ODR checks in GMF Close llvm#79240. See the linked issue for details. Given the frequency of issue reporting about false positive ODR checks (I received private issue reports too), I'd like to backport this to 18.x too. [clang] Fix unexpected `-Wconstant-logical-operand` in C23 (llvm#80724) C23 has `bool`, but logical operators still return int. Check that we're not in C to avoid false-positive -Wconstant-logical-operand. Fixes llvm#64356 (cherry picked from commit a18e92d) [18.x][Docs] Add release note about Clang-defined target OS macros (llvm#80044) The change is included in the 18.x release. Move the release note to the release branch and reformat. (cherry picked from commit b40d5b1) ReleaseNotes: mention -mtls-dialect=desc (llvm#82731) [Clang] Fixes to immediate-escalating functions (llvm#82281) * Consider that immediate escalating function can appear at global scope, fixing a crash * Lambda conversion to function pointer was sometimes not performed in an immediate function context when it should be. Fixes llvm#82258 (cherry picked from commit baf6bd3) [Clang] [Sema] Handle placeholders in '.*' expressions (llvm#83103) When analysing whether we should handle a binary expression as an overloaded operator call or a builtin operator, we were calling `checkPlaceholderForOverload()`, which takes care of any placeholders that are not overload sets—which would usually make sense since those need to be handled as part of overload resolution. Unfortunately, we were also doing that for `.*`, which is not overloadable, and then proceeding to create a builtin operator anyway, which would crash if the RHS happened to be an unresolved overload set (due hitting an assertion in `CreateBuiltinBinOp()`—specifically, in one of its callees—in the `.*` case that makes sure its arguments aren’t placeholders). This pr instead makes it so we check for *all* placeholders early if the operator is `.*`. It’s worth noting that, 1. In the `.*` case, we now additionally also check for *any* placeholders (not just non-overload-sets) in the LHS; this shouldn’t make a difference, however—at least I couldn’t think of a way to trigger the assertion with an overload set as the LHS of `.*`; it is worth noting that the assertion in question would also complain if the LHS happened to be of placeholder type, though. 2. There is another case in which we also don’t perform overload resolution—namely `=` if the LHS is not of class or enumeration type after handling non-overload-set placeholders—as in the `.*` case, but similarly to 1., I first couldn’t think of a way of getting this case to crash, and secondly, `CreateBuiltinBinOp()` doesn’t seem to care about placeholders in the LHS or RHS in the `=` case (from what I can tell, it, or rather one of its callees, only checks that the LHS is not a pseudo-object type, but those will have already been handled by the call to `checkPlaceholderForOverload()` by the time we get to this function), so I don’t think this case suffers from the same problem. This fixes llvm#53815. --------- Co-authored-by: Aaron Ballman <aaron@aaronballman.com> [InstCombine] Fix miscompilation in PR83947 (llvm#83993) https://github.com/llvm/llvm-project/blob/762f762504967efbe159db5c737154b989afc9bb/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp#L394-L407 Comment from @topperc: > This transforms assumes the mask is a non-zero splat. We only know its a splat and not provably all 0s. The mask is a constexpr that includes the address of the global variable. We can't resolve the constant expression to an exact value. Fixes llvm#83947. SystemZ release notes for 18.x. (llvm#84560) Remove support for EXPORTAS in def files to maintain ABI compatibility for COFFShortExport [clang][Sema] Fix a CTAD regression after 42239d2 (llvm#86914) The most recent declaration of a template as a friend can introduce a different template parameter depth compared to what we anticipate from a CTAD guide. Fixes llvm#86769 [clang] Avoid -Wshadow warning when init-capture named same as class field (llvm#74512) Shadowing warning doesn't make much sense since field is not available in lambda's body without capturing this. Fixes llvm#71976 [SLP]Fix a crash if the argument of call was affected by minbitwidth analysis. Need to support proper type conversion for function arguments to avoid compiler crash. Fix override keyword being print to the left side Previously, the `override` keyword in C++ was being print in the left side of a method decl, which is unsupported by C++ standard. This commit fixes that by setting the `CanPrintOnLeft` field to 0, forcing it to be print on the right side of the decl. Signed-off-by: Giuliano Belinassi <gbelinassi@suse.de> [clang codegen] Fix MS ABI detection of user-provided constructors. (llvm#90151) In the context of determining whether a class counts as an "aggregate", a constructor template counts as a user-provided constructor. Fixes llvm#86384 (cherry picked from commit 3ab4ae9) release/18.x: [libclc] Fix linking against libIRReader Fixes llvm#91551 Update llvm/test/Transforms/InstCombine/bit_ceil.ll Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com> [RISCV] Add a unaligned-scalar-mem feature like we had in clang 17. This is ORed with the fast-unaligned-access feature which applies to scalar and vector together.: Regular squash. Cobol/PlI changes from 785ddc60@https://gitlab.phidani.be/Chirag.Patel/lldb.git Cobol/PLI support added from 6cefb217f097ac@https://gitlab.phidani.be/Chirag.Patel/llvm.git [LLDB] added lldb rpmbuild spec file [RPMBuild] Added lldb rpmbuild support. [LLDBRpm] added version for yum update. [lldb_rpm] minor cleanup. Build fix rleated to RTTI. build fix. [DWARFASTParserLegacy] Initial support for union type. [lldb][LegacyTypeSystem] Changed struct/union member offset from bytes to bits to support DW_AT_data_bit_offset. [lldbrpm] changed version suffix. [LegacyASTContext] Fix var string length display. [LLDB][CobolUserExpression] Added AST node Function call place holder. build fix. [LLVM][Test] Fixed assembler round trip test. [LLDB][CobolUserExpression] Added ast evaluation for sizeof operator. [LLDB][CobolUserExpression] Added placeholder in parser for func call. [LLDB][CobolUserExpression] Added sizeof operator, temporary placeholder for LENGTH OF. [LLDB][PLIUserExpression] Fixed array indexing. [LLDB][ValueObjectPrinter] Skip summary if custom format is requested. [LLDB][PLILanguage] changed bitset size, read from array type name. [LLDB][ValueObject] Fixed pli var string length read. [LLDB][PLILanguage] Fixed support for var string summary formatter. [LLVM][DIBuilder][C-API] Added changes to add lexical scope info for auto variable for functions. [LLVM][AsmCodegen] Added raincode extention AT_lexical_scope. [LLDB][SymbolFileDWARF] Added support for RAINCODE_lexical_scope attribute. [LLDB][PLIUserExpression] Added sizeof operator support, it will be renamed to proper functiona name later. [LLDB][ValueObject] minor cleanup. [LLDB][PLIUserExpression] Added STORAGE/STG builtin func support. [LLDB][PLIUserExpression][CobolUserExpression] Added LENGTH() for Cobol and STG/STORAGE() for PL/I, removed sizeof operator for both. [LLDB][DWARFASTParserLegacy] Added placeholder for DW_TAG_reference_type. [LLVM][CodeGen][AsmPrinter] Added DW_AT_name attribute to TAG_array_type. [LLDB][DWARFExpression] minor cleanup. [LLDB][PLILanguage] Fixed bitset array size read from array type. [LLDB][LegacyASTContext] Moved bit array calculation to type system. [LLVM][AsmPrinter] Fixed TAG_array duplicate attribute export. [LLVM][C-API] Changes array type api. [LLDB][PLI/Cobol UserExpression] Fixed array indexing, removed c style [] index access. [LLDB][PLIUserExpression] minor fix. [LLDB] Fixed bug relating struct member name access for Cobol/PL1. fixed coding style/whitespace/typos. [LLDB][LegacyTypeSystem] Place holder beautification for edited types. [LLDB] rpm version upgrade. [LLDB][CobolUserExpression] Fixed pic string ref modifier. [LLDB][TypeSystem] Added support to mutate existing type length, fixed cobolUserExpression refmod for display type. [LLDB][CobolUserExpression] Fixed lower bound ref modifier. [LLDB][Cobol/PLI UserExpression] Fixed error while searching for var, do not fully resolve type. [LLDB][RPM] fixed rpm version. cleanup, reduce number of changes from trunk. cleanup, reduce number of changes fomr trunk. build fix. Build fix. Build fix. [LegacyASTContext] Fixed bug relating packed decimal going through ebcdic iconv. [LLVM][DebugInfo] Fixed DIExpression node uniquness issue. build fix. cleanup. Refactoring, moved LegacyASTContext to Plugin typeSystem Legacy. Refactoring, renamed TypeSystem class. build fix. build fix, cleanup. cleanup fixed assert failure. [CobolUserExpression] Added placeholder for simpe assignment operator. [CobolUserExpression] Added basic support for assigment to variables. [CobolUserExpression] Added cobol move-to set-to syntex support. [LegacyTypeSystem][CobolUserExpression] Added literal type double,string. Added TypeSystem Encoding helper functions. [CobolLexer] Added string,float literal type support. [PLIUserExpression] Added assignment operator support. [CobolUserExpression] Added assignment comp-3 support. [PLIUserExpression] Assignment added pli display type support. temporary build fix. DIExpression asmprinter, print null for invalid entry. [Cobol/PLI UserExpression] Assignment endianity bug fix. [Cobol/PLIUserExpression] fixed data extractpr assert, fixed int precision convertion written as zero. [Cobol/PLIUserExpression] Assignment display type assert failure. build fix. [PLIUserExpression] Added support for var string assignment. [LegacyUserExpression] Simple semantic check place-holder. [CobolUserexpression] Assignment expression fixed display, array types. [TypeSystem] fixed encode int precision bug for i64 to i32. [PLI/Cobol UserExpression] fixed support for assinment into refmod data type. [CobolUserExpression] Fixed assignment display/comp-3 regression. temporary build fix. python3 lib on server needs few changes for this build. [TypeSystemLegacy] Fixed edited type display, skip formatting for edited type. [lldbrpm] package lldb-python-script too. [CobolUserExpression] Fixed SelctorOf expression with array index access e.g (lldb)p LastName1 of VAR(1) of TAB. [CobolUserExpression] Assignment to packed decimal fixed, added digit count read support from dwarf instead of runtime calculation. [CoboUserExpression] Fixed assignment string invalid byte order. [PLIUserExpression] Fixed string padding with space. [CobolUserExpression] Fixed Assignment string space padding. [LegacyTypeSysten] fixed crash in encoding due to long length the assignment. [CobolUserExpression][PLIUserExpression] fixed segfault. [DebugInfo] export identifier case as insensitive for PLI/Cobol compiled units. [TypeSystemLegacy] Fixed minor bug with dataencoding. rebase build fix. [StackFrame] fixed support for cobol/pli modref select syntex. case-insensitive breakpoint resolution for PLI/Cobol languages. cleanup. build fix. added initial support for TAG_dynamic_type. added c/c++ api to create dynamic type debug info. [DebugInfo] Added support to generate dwarf attribute DW_AT_allocated for DW_TAG_dynamic_type [PLIUserExpression][CobolUserExpression] Fixed name variable lookup for few cases. [DWARFASTParserLegacy] Initial support to parse TAG_dynamic_type. [AsmPrinter] Fix minor mistake for TAG_dynamic DW_AT_allocated. [TypeSystemLegacy] Added dynamic type place holder. [LLVM][AsmPrinter] Allow OP_call2/4 expression on local variable location. build fix. [LLDB][CompilerType] Added support to fetch dynamic type info. [lldb][ValueObjectVariable] Added dynamic variable read support. [LLDB][ValueObjectVariable] Added allocated check for dynamic types. [LLDB][ValueObjectVariable] fixed TAG_dynamic type attributes optional. [LLVM][DebugInfoMetadata] Fixed minor function call. [LLDB][TypeSystemLegacy] Added dynamic type info support. build fix. for jekins, use python3 sharedlibs lldbrpm use python3. temporary build fix. [LLDB][DWARFExpression] Added temporary operation extension for address calculation with file address in dwarf v5. [LLVM][CodeGen] Fixed dynamic type dwarf expression call2/call4 assert. [LLVM][Verifier] Added dynamic type check. [LLVM][Verifier] Added debugInfo verifier dynamic type extra checks. [LLDB][TypeSystemLegacy] Added check to avoid direct nested dynaic types. [LLVM][DebugInfo] Adding DW_OP_call2/4 support in TAG_subrange attributes DW_AT_lower_bound, DW_AT_upper_bound. [LLDB] Added option to hide frames with invalid line entry target.hide-invalid-legacy-frames, this is a temporary placeholder and it will be moved to more suitable location in future. [LLDB][DataFormatters] Fixed printing of char arrays with non-default format. [LLDB][StackFrame] Added check for member name lookup to reject array of structs. [lldb][DataFormatters] fixed multi-dimesional string formatting. [LLDB][ValueObjectVariable] cleanup: proper error message. [LLVM][DwarfUnit] Added DW_OP_call2/call4 support for array type. [LLVM][DwarfCompileUnit] fixed assert failure with DW_OP_call2/call4. [DIBuilder] Added DW_AT_static_link support. [LLVM][C-API][DebugInfo] Added support for DW_AT_static_link. [DebugInfo] fixed minor bug with Staticlink attribute generation. [DebugInfo] static link cleanup. rebase build fix. [LLDB][DWARFParser] Added initial support to parse DW_AT_static_link. [LLDB][StackFrame] Added support to read static link address. [LLDB][StackFrameList] Added helper function to search stack list using static link. [LLDB][ValueObjectPrinter] regression fix for hex format value print. [LLDB] build fix. [LLDB][ExpressionParser] bug fixed for positive int expression e.g. p move +3 to var. [LLDB][TypeSystemLegacy] Fixed bcd signed preferred value encoding. [LLVM][DebuggerTuning] default tune for lldb. [LLDB][TypeSystemLegacy] iconv try approximate and ignore if not possible, for character decoding. rebase build fix. [LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwriting. [LLDB][UserExpression] Temporary revert variable name bug. rebase build fix. rebase build fix. rebase build fix. initial placeholder for DW_AT_RAINCODE_static_link_recv. [LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwrite. [LLDB][Test] fixed UnsupportedLanguage test failure. [LLDB][CobolUserExpression] Place holder for compare operations. lldbrpm, temporary skip python dir. [CobolUserExpression] Adding placeholder for equality comparision. [PLIUserExpression] PLILexer, added partial support for comparision operators. [LLDB][DataExtractor] bytes compare func. rebase build fix. rebase build fix. Added DW_AT_RAINCODE_frame_base Patch by Amin! [LLDB][DWARFParser] Added support to parse DW_AT_RAINCODE_frame_base. build fix. [LLVM] Fix dynamic type [LLVM-C][API] Add api to create a dynamic DISubrange [LLDB] Add support for DW_AT_count as a DWARFExpression - Add DWARFExpression in ArrayInfo; - Add LegacyDynamicArray type for dynamic arrays; - Evaluate count expression every time we re-evaluate DW_AT_location. Rebase and fix compilation failures Only print case sensitiveness if source language is Cobol or PL/1. Fixes the following regressions: LLVM :: DebugInfo/X86/dwarf-public-names.ll LLVM :: DebugInfo/X86/length_symbol_difference.ll LLVM :: MC/X86/dwarf-size-field-overflow.test LLVM :: tools/llvm-dwarfdump/X86/statistics.ll (cherry picked from commit ff848081162f81ef3c5d8f447b6c28dd564d4ada) Use correct record size of DIDerivedType Use last index for Annotations replace dyn_cast with dyn_cast_or_null to handle invalid input smoothly Rebasing on LLVM-17-init and fixes regressions LZLANG-2470 valgrind vs. lldb_private::TargetCharsetReader::convert - remove the static buffer_length variable, which may not be big enough. - remove the loop - add lldb console errno logging when there is an iconv error. (cherry picked from commit 120402f28f787a90f65f725307519343b5937fee) LZLANG-2470 Fixes for previous lldb_private::TargetCharsetReader::convert changes. (cherry picked from commit 918c9b62a63b71347ebee5a7ccd0bd42bbdfc118) Lexer Bug Fix COBOL/PLI lexer would return variable name with '\n' at the start. 1155199180 (cherry picked from commit 7266c35747b19a11081b3fab07f6773bfb15fa1f) Ported Abhishek's Fix -Set is_singed for int variables [lldb] Bridge the gap when debugging the variable with command and codelldb (cherry picked from commit d88ad8abed856d239628d4cda3fad393fef1ba0e) Build Fixes after cherry-pick previous commit strings set by codelldb must be enclosed in quotes (cherry picked from commit 0072c09fbe9f5ead6bde25060dc8e9f4265989b3) Bug fix: p var = val in PLI didn't work (cherry picked from commit 9f3d16f85434cbd17e26d429622cd6b557eddacb) Port Abhisheks Fixes -Fix for MOVE val TO VAR [lldb] Added the DemangledNameContainsPath overload for pli/cobol (cherry picked from commit 552cf62d001beb59327e4fb81cd4620ee0d62c55) Fix warnings Fields of a struct array can now be used with `p` e.g FIELD(5) is equivalent to FIELD OF ARR(5) See ticket 1152892604 (cherry picked from commit 5e02341b015fddaca13a674b34228fe2b080a54c) Cobol-style multi-index support added (cherry picked from commit 7b0e7ae494ca2a9799e1f09d87146113de2e0f38) Fixed LENGTH(var) expression -get the size of var from lldb (cherry picked from commit 50657e2e7b2ec81a13764ca0105c130cc95ccfc7) Warning Fixes Make breakpoint Cases Insensitive Fixed Build and Regression failure after rebase Fixed warnings seen during lldb build [lldb] Store real bitwidth from debuginfo in Scalar Type Storing in higher bitwidth than required or specified by debug info creates problem when byteswap is done. Make comparison of breakpoint names case insensitive in `findEntryOffsetInCurrentIndex` 1156642284 typo fix: s/key/Key/ [lldb] Fix DWARFASTParser to correctly parse DW_AT_count for dynamic arrays [lldb] Change the way we look for variables in StackFrame for Legacy Languages 1156032652 [lldb] Bugfix in LENGTH(var) [cobol] and STG(var) [pli] We were encoding 4 bytes of LENGTH data and reading 8 bytes which cause a problem. Using size_t instead of uint32_t fixes the problem. [lldb] Fix cast failure in FindFieldInStructArray Complicated expressions in lldb broke the assumption that the expression is an identifier, thus we got a cast error. This fix removes that from happening and also fixes the bug that if the identifier is an array itself the last index specified in the input is used to index that variable itself. e.g 01 SAMPLE-TABLE. 05 TABLE-DEPTH OCCURS 3 TIMES. 10 TABLE-ROW OCCURS 3 TIMES. 15 TABLE-COLUMN OCCURS 3 TIMES PIC 9(8). Here TABLE-ROW(1, 2) means second element of TABLE-ROW OF TABLE-DEPTH(1). Revert "[lldb] Fix cast failure in FindFieldInStructArray" This reverts commit c1bab0e0b6a798698196434c7bb6cbe391fcdc1b. [lldb] Add support for IBM array-indexing syntax see 1156841764 [lldb] Fix cast error and support non-ibm indexing syntax see 1156841764 [lldb] Fixes After Rebase on llvmorg-18.1.4 [lldb] Fix bug in display of varying PLI strings See 1156884604 The STG function also should include the prefix when counting the size, which for now is 2 bytes for all strings because the PLI compiler doesn't support COMPAT(V3) version. If in the future we do support it, we would need to fix this again. (cherry picked from commit 4b39f3e1b55c3df09f5cb89dcdd347682f790ba9) [lldb] Add basic support for Level88 conditions [lldb] Add support for calling the runtime function rc_cob_level88 directly from the "p" command [lldb] Print the value of level88 variables as true/false with parent name. Prints the value of level88 condition names by calling the runtime functions and formatting it nicely. [lldb] Add support for indexed level88 variables [lldb] Fixes After Rebase on llvm main [LLDB] Preparation for upstream

ChuanqiXu9 added the clang:modules C++20 modules and Clang Header Modules label Jan 24, 2024

ChuanqiXu9 self-assigned this Jan 24, 2024

ChuanqiXu9 closed this as completed in a0b6747 Jan 29, 2024

cor3ntin reopened this Jan 29, 2024

ChuanqiXu9 mentioned this issue Jan 30, 2024

[C++20] [Modules] Introduce -fskip-odr-check-in-gmf #79959

Merged

ChuanqiXu9 closed this as completed in #79959 Feb 1, 2024

ChuanqiXu9 mentioned this issue Feb 1, 2024

[backport] [C++20] [Modules] Backport the ability to skip ODR checks in GMF #80249

Merged

ChuanqiXu9 mentioned this issue Mar 11, 2024

release/18.x: backport [C++20] [Moduls] Avoid computing odr hash for functions from comparing constraint expression #84723

Merged

hackjackhack mentioned this issue Mar 26, 2024

Help requested: Identifying higher-priority open issues/PRs hsutter/cppfront#1026

Open

yujincheng08 mentioned this issue Apr 12, 2024

[Bug] ndk clang building release raise error declaration does not match while llvm upstream compiles android/ndk#2013

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment #79240

[RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment #79240

ChuanqiXu9 commented Jan 24, 2024 •

edited

Loading

llvmbot commented Jan 24, 2024

mizvekov commented Jan 29, 2024

cor3ntin commented Jan 29, 2024

dwblaikie commented Jan 30, 2024

dwblaikie commented Jan 30, 2024

mizvekov commented Jan 30, 2024

ChuanqiXu9 commented Jan 30, 2024 •

edited

Loading

ChuanqiXu9 commented Feb 1, 2024

[RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment #79240

[RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment #79240

Comments

ChuanqiXu9 commented Jan 24, 2024 • edited Loading

llvmbot commented Jan 24, 2024

mizvekov commented Jan 29, 2024

cor3ntin commented Jan 29, 2024

dwblaikie commented Jan 30, 2024

dwblaikie commented Jan 30, 2024

mizvekov commented Jan 30, 2024

ChuanqiXu9 commented Jan 30, 2024 • edited Loading

ChuanqiXu9 commented Feb 1, 2024

ChuanqiXu9 commented Jan 24, 2024 •

edited

Loading

ChuanqiXu9 commented Jan 30, 2024 •

edited

Loading