Странная проблема с программами, оптимизированными для C/C++ (-O2)

Программа A с глобальными переменными x и y:

#include <cstdio>
#include <vector>
using namespace std;

const int maxn = 3000000 + 10;
int dp[maxn], n, maxy;
int x, y;        // <-- Global variables `x` and `y`
vector<int> a[maxn];

int main() {
    freopen("demo.txt", "r", stdin);
    freopen("demo.out", "w", stdout);

    scanf("%d", &n);
    for (int i = 1; i <= n; i++) {
        //int x, y;
        scanf("%d %d", &x, &y);
        a[y].push_back(x-1);
        maxy = max(maxy, y);
    }
    for (int i = 1; i <= maxy; i++) {
        dp[i] = dp[i - 1];
        if (a[i].size() == 0) continue;
        for (int j = 0; j < a[i].size(); j++) {
            int u = a[i][j];
            dp[i] = max(dp[i], dp[u] + i - u);
        }
    }
    printf("%d\n", dp[maxy]);
    
    return 0;
}

Программа B, почти такая же, как программа A, но с локальными переменными x и y (x и y можно рассматривать как две конечные точки интервала, что $x < y$).

#include <cstdio>
#include <vector>
using namespace std;

const int maxn = 3000000 + 10;
int dp[maxn], n, maxy;
//int x, y;
vector<int> a[maxn];

int main() {
    freopen("demo.txt", "r", stdin);
    freopen("demo2.out", "w", stdout);

    scanf("%d", &n);
    for (int i = 1; i <= n; i++) {
        int x, y;         // <-- Local variables `x` and `y`
        scanf("%d %d", &x, &y);
        a[y].push_back(x-1);
        maxy = max(maxy, y);
    }
    for (int i = 1; i <= maxy; i++) {
        dp[i] = dp[i - 1];
        if (a[i].size() == 0) continue;
        for (int j = 0; j < a[i].size(); j++) {
            int u = a[i][j];
            dp[i] = max(dp[i], dp[u] + i - u);
        }
    }
    printf("%d\n", dp[maxy]);
    
    return 0;
}

Инструкция компиляции (с оптимизацией -O2):

g++ demo.cpp -o demo.exe -O2 -std=c++14

Скомпилируйте информацию:

Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=C:/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/8.1.0/lto-wrapper.exe
Target: x86_64-w64-mingw32
Thread model: posix
gcc version 8.1.0 (x86_64-posix-seh-rev0, Built by MinGW-W64 project)

Эти две программы получают разные результаты при одних и тех же входных данных!

Используя одни и те же входные данные, я просмотрел переменные x, y, maxy, a[i], и все они получили одинаковые данные. А элемент массива dp[i] получил другие данные. Я не знаю почему, переменные dp[i] и x, y не связаны!

И если я скомпилирую их без инструкции -O2, то есть g++ demo.cpp -o demo.exe -std=c++14, они получат тот же результат!

Большие входные данные можно найти здесь: https://ww0.lanzouq.com/iesib26alt6f

Это файл txt, содержащий около 150 001 строки.

КСТАТИ: Эта программа является решением этого вопроса , однако вы можете игнорировать эту информацию. Проблема, с которой я столкнулся, похоже, не имеет никакого отношения к этому вопросу.