Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 4 Feb 2015 12:45:00 -0500
From:      Ed Maste <emaste@freebsd.org>
To:        Konstantin Belousov <kostikbel@gmail.com>
Cc:        freebsd-current <freebsd-current@freebsd.org>, Peter Wemm <peter@wemm.org>
Subject:   Re: PSA: If you run -current, beware!
Message-ID:  <CAPyFy2DsqtmsFJViqOgQ5maMZCmhKb1vzS2rnpt19MaRet-4RA@mail.gmail.com>
In-Reply-To: <20150204142941.GE42409@kib.kiev.ua>
References:  <8089702.oYScRm8BTN@overcee.wemm.org> <20150204142941.GE42409@kib.kiev.ua>

next in thread | previous in thread | raw e-mail | index | archive | help
On 4 February 2015 at 09:29, Konstantin Belousov <kostikbel@gmail.com> wrote:
>
> So the issue is reproducable in 3 minutes after boot with the following
> change in kern_clock.c:
> volatile int    ticks = INT_MAX - (/*hz*/1000 * 3 * 60);
>
> It is fixed (in the proper meaning of the word, not like worked around,
> covered by paper) by the patch at the end of the mail.
>
> We already have a story trying to enable much less ambitious option
> -fno-strict-overflow, see r259045 and the revert in r259422.

Note that -fno-strict-overflow and -fwrapv are equivalent as far as
Clang is concerned:

|  // -fno-strict-overflow implies -fwrapv if it isn't disabled, but
|  // -fstrict-overflow won't turn off an explicitly enabled -fwrapv.
|  if (Arg *A = Args.getLastArg(options::OPT_fwrapv,
|                               options::OPT_fno_wrapv)) {
|    if (A->getOption().matches(options::OPT_fwrapv))
|      CmdArgs.push_back("-fwrapv");
|  } else if (Arg *A = Args.getLastArg(options::OPT_fstrict_overflow,
|                                      options::OPT_fno_strict_overflow)) {
|    if (A->getOption().matches(options::OPT_fno_strict_overflow))
|      CmdArgs.push_back("-fwrapv");
|  }

> I do not see other way than try one more time.

Agreed.

As you noted elsewhere the original issue that triggered the revert
was fixed by r259609, so we should be able to just re-apply r259045.



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