Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 19 Jan 2018 19:23:50 +1100
From:      Peter Jeremy <peter@rulingia.com>
To:        Conrad Meyer <cem@freebsd.org>
Cc:        Benjamin Kaduk <bjkfbsd@gmail.com>, src-committers <src-committers@freebsd.org>, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   Re: svn commit: r328159 - head/sys/modules
Message-ID:  <20180119082350.GF75633@server.rulingia.com>
In-Reply-To: <CAG6CVpWVstTHW2OkNTu9Yj7eZgcFNUvyZhB-P6EOB1gwLOcuBQ@mail.gmail.com>
References:  <201801190434.w0J4Y6i7086677@repo.freebsd.org> <CAJ5_RoAhGgkQTLXgHpYYOiupA=c6wK%2BpeAdT0Zjaw0n-ggAd1g@mail.gmail.com> <CAG6CVpVhLcY5ohnHW32raKic7MT5Q%2B7C9EA9dzwpQvbUXVH%2Big@mail.gmail.com> <CAJ5_RoDQqBkPoDh5RH452zswKTX34O5eYeimGUwBps50FHE3Hw@mail.gmail.com> <CAG6CVpWVstTHW2OkNTu9Yj7eZgcFNUvyZhB-P6EOB1gwLOcuBQ@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help

--Hf61M2y+wYpnELGG
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On 2018-Jan-18 21:07:19 -0800, Conrad Meyer <cem@freebsd.org> wrote:
>The spec says the behavior is undefined; not that the compiler has to
>produce a warning or error message.  The compiler *does* get to
>arbitrarily decide what it wants to do when it encounters UB.  It is
>wholly free to implement this particular UB with the logical result
>and no warning/error.

IMO, the fact that our compiler produces a warning message when it
encounters undefined behaviour is A Good Thing.  Relying on
implementation-specific behaviour leads to brittle code - a compiler
update or reusing the code with a different compiler could completely
change the behaviour.

--=20
Peter Jeremy

--Hf61M2y+wYpnELGG
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQKTBAEBCgB9FiEE7rKYbDBnHnTmXCJ+FqWXoOSiCzQFAlphqxZfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEVF
QjI5ODZDMzA2NzFFNzRFNjVDMjI3RTE2QTU5N0EwRTRBMjBCMzQACgkQFqWXoOSi
CzQzWg//SDAqb4toDa12XynO/m251RJEpcHeU6E5p9GhMGWPOpJAuNsxj62i83N2
Q6FQzfgfNPWi1meBPFnbkeQfVuAlr2ROVmPy6I3qTYHJakq54UBGvd9qip9lhutq
Ya7aOxX6U3kbOhDYVi1MGNbSf61Cgx4CYRZ8BG3X5Q/eUDvUt/nW+cQ6QRtk9srO
ud4khjkY8adD+G1CYI5dMp89UyJ3RG2DDQfnz7Pn+qlBY4Mw64rtowIIyhj4ahT3
2BwmgBEZCtFV5R97GbQRkBatwK84aDAp5qR/1vDxd/DCg79wUB2zcHjCDa5hXtJ4
rMhovvNR0SqBZqWdYNduVsn47MZBzI0mPTWNto0A3nxKhKWKyZwVCTF57sE6whsn
t/pCMU3ZBYg/WjuwwFo7CPBMOEwnfzfu387oaHVNCON3JOYFKKM35PoxMUWAsHYa
em0JHxEVnDk7RPV0EOa8bSTd+4lNj6E5F+/g8DRgRoopW16MCC4BRjoA0jZf5hWD
eNgOn9WRHkVi+cVzdOKMm+QDxEjc43auhUnuoQyZ5c2vfSWhnnshWnc0pKqGGKrk
P3c/ZoCLtLSOaIwhepbOiQ5jSkPI0qZ0B0qhCxCzPOL+tB5hv2Gsqwu4tULojjU6
WeFAHluJ31G7/feWVoPzLkpfWIcUQ2+7iLPIK17560WJjdIK8Hc=
=tiV8
-----END PGP SIGNATURE-----

--Hf61M2y+wYpnELGG--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180119082350.GF75633>