Page History

unsigned int ui1
unsigned int ui2
unsigned int uresult;

unsigned int mod1; /* modulo behavior is allowed on mod1 and mod2 by exception */
unsigned int mod1
unsigned int mod2;mod2; /* modulo behavior is allowed by exception */

/* ... */

if ( (ui2 >= sizeof(unsigned int)*CHAR_BIT)
  || (ui1 > (UINT_MAX  >> ui2))) ) {
  /* handle error condition */
} else {
  uresult = ui1 << ui2;
}

if (mod2 >= sizeof(unsigned int)*CHAR_BIT) {
  /* handle error condition */
} else {
  /* modulo behavior is allowed by exception */
  uresult = mod1 << mod2;
}