Một mảng toàn cục 400MB làm file thực thi nhỏ như cũ (nằm .bss) — và bất ngờ hơn, lúc chạy nó chỉ tốn 1MB RAM thật cho tới khi bạn chạm vào từng trang. Kích thước file, VSZ và RSS là ba con số khác nhau. Đo thật trong container.
Một đoạn type-pun bằng ép con trỏ cho 1073741824 ở -O0 nhưng 1 ở -O2 — vì -O2 giả định int* và float* không trỏ cùng ô. Đó là hành vi không xác định. Cách đúng là memcpy, và gcc gấp nó thành một lệnh. Đo thật trong container.
restrict hứa hai con trỏ không trùng nhau, cho trình dịch bỏ một lần nạp lại — 4 lệnh thay vì 7. Nhưng đó là lời hứa: truyền con trỏ trùng thì kết quả sai (15 thay vì 20), là hành vi không xác định. Đo bằng assembly trong container.
Một đoạn kiểm tra tràn if(x+100 < x) bị -O2 xóa sạch — vì trình dịch suy tràn signed là UB nên 'không bao giờ xảy ra'. Cái check để bắt bug lại bị compile đi mất, và -fwrapv cứu. Đo thật trong container.
Thêm -flto làm một vòng lặp gọi hàm xuyên file nhanh 2,9 lần. Tôi tưởng nhờ bỏ phí gọi hàm — đọc assembly mới thấy cái lợi thật là vector hóa được mở khóa. Đo thật, đọc objdump trong container.
next()+next() cho 21 trên gcc/aarch64, nhất quán mọi lần — nhưng thứ tự đó không được chuẩn bảo đảm, và i=i++ + ++i là UB. Nhất quán trên một máy không phải 'được định nghĩa'. Đo thật trong container.