Skip to content

JIT: Assertion failed '!"Write to unaliased local overlaps outstanding read"' during 'Rationalize IR' #91056

Closed

Description

@jakobbotsch

Created based on an example generated by Antigen.

using System.Runtime.CompilerServices;

public class Program
{
    public static void Main(string[] args)
    {
        S s = default;
        if (args.Length > 0)
        {
            s.A = 1234;
        }

        Foo(0, 0, s, s);
    }

    [MethodImpl(MethodImplOptions.NoInlining)]
    private static void Foo(int a, int b, S s1, S s2)
    {
    }

    public struct S
    {
        public int A;
    }
}

Run on win-x86 with

$env:DOTNET_JitNoCse=1
$env:DOTNET_JitStressModeNames="STRESS_NO_OLD_PROMOTION STRESS_PHYSICAL_PROMOTION_COST"
$env:DOTNET_TieredCompilation=0

Activity

  1. ghost added
    untriagedNew issue has not been triaged by the area owner
    on Aug 24, 2023
  2. ghost added
    area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
    on Aug 24, 2023
  3. self-assigned this
    on Aug 24, 2023
  4. removed
    untriagedNew issue has not been triaged by the area owner
    on Aug 24, 2023
  5. added this to the 8.0.0 milestone on Aug 24, 2023
  6. ghost added
    in-prThere is an active PR which will close this issue when it is merged
    on Aug 24, 2023
  7. added a commit that references this issue on Aug 24, 2023
    20a7de9
  8. ghost removed
    in-prThere is an active PR which will close this issue when it is merged
    on Aug 24, 2023
  9. added a commit that references this issue on Aug 24, 2023
    9737d07
  10. added a commit that references this issue on Aug 25, 2023
    f392712
  11. ghost locked as resolved and limited conversation to collaborators on Sep 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions