https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005
simon at pushface dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Target| |x86_64-apple-darwin Known to work| |12.2.0 --- Comment #2 from simon at pushface dot org --- [So sorry not to have commented here before posting! The list of suggested PRs covered the screen] This occurs at -O2, not at -O1 or -O0. $ gnatmake -c -u -f stm32-timers.adb -O2 -v GNATMAKE 13.0.1 20230226 (experimental) Copyright (C) 1992-2023, Free Software Foundation, Inc. gcc -c -O2 stm32-timers.adb during GIMPLE pass: ifcvt raised CONSTRAINT_ERROR : erroneous memory access End of compilation gnatmake: "stm32-timers.adb" compilation error I first found this exact problem when using an x86_64 x arm-eabi cross compiler.