[valgrind] [Bug 472329] std::optional use: "Conditional jump or move depends on uninitialised value(s)" (g++)

[Paul Floyd]

https://bugs.kde.org/show_bug.cgi?id=472329

--- Comment #11 from Paul Floyd <pjfl...@wanadoo.fr> ---
It's all to do with compiler temporaries

That code is equivalent to

int64_t current_buffer_val;

if (flag_mode_selector) {  // primary path
    current_buffer_val = state_buffer.field_primary; // -0x40
    rax_marker = 0;
} else {                    // secondary path
    current_buffer_val = state_buffer.field_secondary.value_or(0); // -0x38
    rax_marker ^= 1; // compiler internal
}

// first check: comparison
if (calculated_target > current_buffer_val) {
    goto exit_label;
}

// second check: the "has_value" / RAX marker
if (rax_marker != 0) {
    goto exit_label;
}

-- 
You are receiving this mail because:
You are watching all bug changes.