antmicro / zynq-mkbootimage

An open source replacement of the Xilinx bootgen application.
BSD 2-Clause "Simplified" License
99 stars 49 forks source link

arch: common: fix loop index overrunning the interrupt table. #5

Closed velentr closed 7 years ago

velentr commented 7 years ago

GCC may introduce undefined behavior when iterating past the end of an array at higher optimization levels.

tgorochowik commented 7 years ago

Thank you! Merging.