stage3/constant_folding.cc
changeset 592 99a284cec1f2
parent 590 649667749171
child 596 4efb11e44065
equal deleted inserted replaced
591:76bad7199896 592:99a284cec1f2
   215 
   215 
   216 
   216 
   217 
   217 
   218 
   218 
   219 
   219 
   220 
       
   221 
       
   222 /* NOTE:
   220 /* NOTE:
   223  *   Most of the conditions to detect overflows on signed and unsigned integer operations were adapted from
   221  *   Most of the conditions to detect overflows on signed and unsigned integer operations were adapted from
   224  *   https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false
   222  *   https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false
   225  *   https://www.securecoding.cert.org/confluence/display/seccode/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap
   223  *   https://www.securecoding.cert.org/confluence/display/seccode/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap
   226  */
   224  */