search

sudo-project / sudo

Utility to execute a command as another user
https://www.sudo.ws
Other
1.16k stars 208 forks source link

Mark functions not returning as sudo_noreturn #280

Closed RSilicon closed 1 year ago

RSilicon commented 1 year ago

We also put NOTREACHED where it applies.

RSilicon commented 1 year ago

@millert Done!