16 Feb
2013
16 Feb
'13
1:06 a.m.
On Thu, Jan 24, 2013 at 4:45 AM, Albert ARIBAUD albert.u.boot@aribaud.net wrote:
Hi Allen,
On Wed, 23 Jan 2013 13:05:27 -0800, Allen Martin amartin@nvidia.com wrote:
Shouldn't the function be given '__attribute__((noreturn))' rather than adding a non-executed 'return 0' to it?
The function in question is sandbox main(), and it can return if there was an error prior to calling board_init_f(). Here's the whole function for context:
int main(int argc, char *argv[]) [...]
Makes sense, thanks.
-Allen
Amicalement,
Albert.
Applied to x86/master.