Skip to content

Use type-consistent unsigned value for unreachable return statement#2550

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:vs-return
Jul 7, 2018

Commits

Commits on Jul 7, 2018