Extract and Modify Field in a 32-bit Register

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

uint32_t update_register(uint32_t reg) {
    uint32_t mask = 0x7C00;

    // read the field value
    uint32_t value = (reg & mask) >> 10;

    if (value < 31) {
        // increment the value
        value++;

        // clear the field in the register
        reg &= ~mask;

        // set the new value in the register
        reg |= (value << 10);
    }
    return reg;
}

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

Note: no need to update the register if the field has not been modified