Date: Fri, 28 Aug 2015 01:36:42 -0700 From: Xin Li <delphij@delphij.net> To: Alexey Dokuchaev <danfe@FreeBSD.org>, Xin LI <delphij@FreeBSD.org> Cc: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: Re: svn commit: r287236 - head/bin/df Message-ID: <55E01D9A.2090805@delphij.net> In-Reply-To: <20150828044312.GA88538@FreeBSD.org> References: <201508280044.t7S0ixfW038766@repo.freebsd.org> <20150828044312.GA88538@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --GR834R286OcfDwOPMBJXse9QHJBOp5Eop Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On 8/27/15 21:43, Alexey Dokuchaev wrote: > On Fri, Aug 28, 2015 at 12:44:59AM +0000, Xin LI wrote: >> New Revision: 287236 >> URL: https://svnweb.freebsd.org/changeset/base/287236 >> >> Log: >> Use exit() instead of return in main(). >=20 > Because?.. Because the explicit exit() have a subtle difference from returning from main(), and that could confuse static analyzers. I thought it was obvious and too much for trivial changes like this. Let me try again: C standard defines that when main() returns to the startup code, the latter is required by the standard to call exit() with main()'s return value, should main() be defined to return a type compatible with int. On FreeBSD, this is done by lib/csu/${ARCH}/crt1.c. Note, however, that return'ing from a C function means the stack contents, for example, variables defined in function scope, are discarded. Therefore, if, let's say one defined a pointer in the function scope, like: void *p; And then later assign a block of memory allocated from heap to it: p =3D malloc(size); Since p is in function scope, upon return, it's gone. If there is no other pointers that referenced the memory block referenced by p, the memory block is _technically_ leaked. This does not matter in practice because exit() or returning from main are both the points of termination, and the kernel would then reclaim all memory pages that belongs to the process. However, doing exit() makes it more explicit that this is the point of no returns, actually, it hints the compiler or a static analyzer to do the right thing without needing to make main() a special case. Cheers, --GR834R286OcfDwOPMBJXse9QHJBOp5Eop Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQIcBAEBCgAGBQJV4B2dAAoJEJW2GBstM+nsfo0P/jEEO5rpHeyocrC55L7gVDUk Zd/5IrjM1kX3Fj9xLTvUHiUvcdgw7QzWoQ3YD+F5toX9Z0kklQ6e+b7sHyXyj/vb IVy2XgBAPwj5rLh5X9/2cK9CgZiI5CuLQER1AyYfxx2S1MKg2yLcnhRtz13M95fw IoN0tPhCspJob8IlYcXfEwNx5ZwiwThLU4Nv2p/x18Tus9I4tY/mJM17X/yEp3ih 5otK6tB+qqCiiTPwACXhUwTuAqTIyoq8jKRX7Dw9ZpfBPHFgI/793Lo2s6RJKQRW U06sJUGDRwhf3XZ488/d1JzYu5zerk5p0AK6L0qyho6SamEPEOLyLJHc119GKRfU I4SeQKJ0RmML7+1XHzoRIoL66vAjmpk7SNZ3o2sSB/MzRAaNw17HBjAyRDtIFuXX PaHrj/xJBkjemjKY7CtzIUnFW8/V14EHSdDMgzpliUscgCGrx5UdLiWMBO4Bbb8q db8TCtxCZzfqngBCowoIlXkw9uRdMNvgHgX9zHvjuoNOxj8RLb7h5rT4HSsJL6JC f+8i+M89dBKUhNzgPcB+Dx8T6UxmjDRej6xMYFpZ1xdeKtsBoxriz0Qu86Cichf5 y2QFmfQ8URLUobMsANHXVNTP01Y/TAkDixzjuQBX4gbWW1Ffip4zhT+j7RicY5No piR8BgAwvTetamipVk6J =l7pV -----END PGP SIGNATURE----- --GR834R286OcfDwOPMBJXse9QHJBOp5Eop--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?55E01D9A.2090805>