Bug 228780 - Strict aliasing violations in libc / qsort.c
Summary: Strict aliasing violations in libc / qsort.c
Status: Closed FIXED
Alias: None
Product: Base System
Classification: Unclassified
Component: bin (show other bugs)
Version: CURRENT
Hardware: Any Any
: --- Affects Only Me
Assignee: Konstantin Belousov
URL:
Keywords: patch
Depends on:
Blocks:
 
Reported: 2018-06-06 10:18 UTC by mliska
Modified: 2021-12-02 12:07 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description mliska 2018-06-06 10:18:41 UTC 
As seen and explained here:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83201#c13

There are strict aliasing violations:
https://github.com/freebsd/freebsd/blob/master/lib/libc/stdlib/qsort.c#L64
Comment 1 Konstantin Belousov freebsd_committer freebsd_triage 2018-06-06 19:11:50 UTC 
So all the fancy swap code should be trimmed down to the byte swap, it seems.
Comment 2 Konstantin Belousov freebsd_committer freebsd_triage 2018-06-09 21:01:40 UTC 
https://reviews.freebsd.org/D15714
Comment 3 commit-hook freebsd_committer freebsd_triage 2018-06-10 17:55:45 UTC 
A commit references this bug:

Author: kib
Date: Sun Jun 10 17:54:44 UTC 2018
New revision: 334928
URL: https://svnweb.freebsd.org/changeset/base/334928

Log:
  libc qsort(3): stop aliasing.

  Qsort swap code aliases the sorted array elements to ints and longs in
  order to do swap by machine words.  Unfortunately this breaks with the
  full code optimization, e.g. LTO.

  See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83201 which seems to
  reference code directly copied from libc/stdlib/qsort.c.

  PR:	228780
  Reported by:	mliska@suse.cz
  Reviewed by:	brooks
  Sponsored by:	The FreeBSD Foundation
  MFC after:	2 weeks
  Differential revision:	https://reviews.freebsd.org/D15714

Changes:
  head/lib/libc/stdlib/qsort.c
Comment 4 Mark Linimon freebsd_committer freebsd_triage 2018-06-10 23:40:48 UTC 
So can this PR be closed now?
Comment 5 commit-hook freebsd_committer freebsd_triage 2018-06-24 13:27:26 UTC 
A commit references this bug:

Author: kib
Date: Sun Jun 24 13:26:31 UTC 2018
New revision: 335603
URL: https://svnweb.freebsd.org/changeset/base/335603

Log:
  MFC r334928:
  libc qsort(3): stop aliasing.

  PR:	228780

Changes:
_U  stable/11/
  stable/11/lib/libc/stdlib/qsort.c