make the `start` function divergent

japaric-archived / cu

Testing ground for the Copper book (http://japaric.github.io/copper/).

Apache License 2.0

58 stars 1 forks source link

Closed japaric closed 8 years ago

japaric commented 8 years ago

returning from start is undefined behavior so this change makes it impossible to shoot ourselves in the foot.

japaric commented 8 years ago

@homunkulus r+

homunkulus commented 8 years ago

:pushpin: Commit 1a7b8e7 has been approved by japaric

homunkulus commented 8 years ago

:hourglass: Testing commit 1a7b8e7 with merge 1a7b8e7...

homunkulus commented 8 years ago

:sunny: Test successful - travis