• d-bugmail puremagic.com (24/24) May 06 2023 https://issues.dlang.org/show_bug.cgi?id=23900

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=23900

          Issue ID: 23900
           Summary:  safe is allowed in inline asm
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: major
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: mail ernestocastellotti.it

DMD allows using  safe in inline ASM, it should be allowed to mark asm only as
 system and  trusted because allowing  safe causes user confusion.

Example code:

void main()  safe {
    asm  safe {
        nop;
    }
}

This shouldn't compile, only  trusted and  system should be allowed because
there is no way to check the safety of asm inline code

--