[Bug target/122222] New: [avr] Directly convert 32-bit int to IEEE double

[gjl at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122222

            Bug ID: 122222
           Summary: [avr] Directly convert 32-bit int to IEEE double
           Product: gcc
           Version: 15.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gjl at gcc dot gnu.org
  Target Milestone: ---

[u]int32 -> IEEE double conversions are simple enough to perform them directly.