Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
bgColor#ccccff
unsigned int ui1;
unsigned int ui2;
unsigned int uresult;

unsigned int mod1; /* modulo behavior is allowed by INT36INT34-EX1 */
unsigned int mod2; /* modulo behavior is allowed by INT36INT34-EX1 */

/* Initialize ui1, ui2, mod1, and mod2 */

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;
}

...