Skip to main content

switch_discriminant_concrete

rapx::verify::call_summary::interprocedural

Function switch_discriminant_concrete 

Source 
fn switch_discriminant_concrete(
    body: &Body<'_>,
    discr: &Operand<'_>,
    context: &CallContext,
) -> Option<i128>
Expand description

Trace a SwitchInt discriminant back to a concrete argument value, following only direct Copy/Move assignments (no casts or pointer arithmetic) so the recovered value is identical to the argument’s.