iCD/libopencm3 — pull request #11 by ndreys (2013-02-02 08:02:45+00:00)
Title: Add a "noreturn" attribute to 'scb_reset_system'

Adding this attribute allows to avoid warnings issued by GCC in cases
when 'scb_reset_system' is used as a last call in a function with
"noreturn" attribute set(usually reset handler of some sorts)