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.
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.
sizeof một struct không phải tổng kích thước các trường: struct trộn kiểu cộng lại 15 byte mà sizeof=32 vì đệm căn lề. Sắp lại đúng năm trường đó theo lớn->nhỏ còn 16. Đo sizeof và offsetof thật trong container.
Một hàm đệ quy đuôi tràn ngăn xếp ở -O0 nhưng chạy 50 triệu tầng ở -O2. Và gcc còn khử được cả 'n + f(n-1)' bằng cách tự thêm biến tích lũy — nhiều hơn tôi tưởng. Nhưng TCO là tối ưu, không phải bảo đảm của C. Đo thật trong container.
Định bắt quả tang -ffast-math làm sai số. Đo ra ngược hẳn: bản IEEE strict kẹt ở 2^24 (16777216) sai nặng, fast-math gần đúng hơn và nhanh 4 lần. Nhưng nó âm thầm xóa lá chắn NaN. Đo thật, đọc assembly trong container.
Kiểm tra tràn signed 'x+100 < x' bị trình dịch xóa thành return 0 — ngay ở -O0, không đợi -O2 như tôi tưởng. Còn unsigned thì quấn vòng đoán được, giữ nguyên phép so sánh. Đọc assembly thật để thấy vì sao bạn không được phát hiện tràn bằng chính phép tràn.