G++ оптимизирует проверку INT_MIN в сборке выпуска

Я столкнулся с проблемой, когда g++ оптимизировал то, чего не должно было быть. Я свел проблему к следующему примеру: У меня есть статическая библиотека с функцией bool my_magic_function(int* x), которая уменьшает x на 1, если может, в противном случае (x == INT_MIN) она возвращает false и не затрагивает исходное значение. Если я использую эту функцию в отладочной сборке, она работает как положено. Но в релизной сборке проверка оптимизирована. Платформа:

В RHEL 9.3 с g++ (GCC) 11.4.1 20230605 -> Проблема присутствует.

Ubuntu 22.04 g++ 11.4.0 g++ или 10.5.0 g++ -> Имеется проблема

Ubuntu 22.04 g++ 9.5.0 -> Код работает так, как и ожидалось, в выпуске.

Вот минимальный пример со статической библиотекой и простым main.cpp с использованием функции:

almalib.h:

bool my_magic_function(int* x); 

almalib.cc:

#include "almalib.h"
#include <cstring>
#include <limits>

bool my_magic_function(int* x) {
    int cp_new;
    // integer overflow is undefined, so lets make sure it becomes int max
    if (*x == std::numeric_limits<int>::lowest()) {
        cp_new = std::numeric_limits<int>::max(); 
    } else {
        cp_new = *x - 1;
    }  
    if (cp_new < *x) {
        *x = cp_new;
        return true;    
    }
    return false;
} 

main.cpp

#include "almalib.h"
#include <iostream>
#include <limits>

int main()
{
    for (int x : {0, std::numeric_limits<int>::lowest()})
    {
        int x2 = x;
        std::cerr << "Res for " << x << " " << (my_magic_function(&x2) ? "OK" : "NOT_OK") << " val: " << x2 << std::endl;
    }
}

Скомпилировать:

g++ -c almalib.cc -o almalib.o
ar crf libalma.a almalib.o
g++ main.cpp -o run -L. -lalma

g++ -c almalib.cc -O3 -o almalibR.o
ar crf libalmaR.a almalibR.o
g++ main.cpp -O3 -o runR -L. -lalmaR

вывод для отладки (./run):

Res for 0 OK val: -1
Res for -2147483648 NOT_OK val: -2147483648

вывод для Release (./runR):

Res for 0 OK val: -1
Res for -2147483648 OK val: 2147483647

просматривая сгенерированную сборку с помощью gdb, my_magic_function сокращается до 3 строк:

0x401320 <_Z17my_magic_functionPi>      subl   $0x1,(%rdi)                                                                                                                                                                                          
0x401323 <_Z17my_magic_functionPi+3>    mov    $0x1,%eax                                                                                                                                                                                                     
0x401328 <_Z17my_magic_functionPi+8>    ret               

Мои вопросы:

• Это известная проблема?
• Какие у меня есть варианты, чтобы этого не произошло? (Я могу тривиально переписать примерную функцию, но не исходную задачу). Есть ли какие-либо подсказки компилятора или мне следует отключить определенный тип оптимизации?