Extract and Modify Field in a 32-bit Register

Code

#include <stdio.h>
#include <stdint.h>

uint32_t update_register(uint32_t reg) {
    uint32_t mask = (0x1F << 10);
    uint32_t val = (reg & mask) >> 10;
    if( val<31) {
        val += 1;
    }
    reg &= ~(mask);
    reg |= val  << 10;
    return reg;
}

int main() {
    uint32_t reg;
    scanf("%u", &reg);
    uint32_t updated = update_register(reg);
    printf("%u", updated);
    return 0;
}

Solving Approach