Infering that the condition of a for loop is initially true?

2017-09-14 Thread Niels Möller
assert (rn > mn); to rule out overflow, but that looks a bit unobvious to humans and possibly unobvious to the compiler too. Regards, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. Internet email is subject to wholesale government surveillance.

Re: Infering that the condition of a for loop is initially true?

2017-09-18 Thread Niels Möller
e optimization? Regards, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. Internet email is subject to wholesale government surveillance.

Re: Infering that the condition of a for loop is initially true?

2017-09-18 Thread Niels Möller
n, hi); } shift = m->size * GMP_NUMB_BITS - m->bit_size; if (shift > 0) { /* Combine hi with top bits, add in */ hi = (hi << shift) | (rp[mn-1] >> (GMP_NUMB_BITS - shift)); rp[mn-1] = (rp[mn-1] & (((mp_limb_t) 1 << (GMP_NUMB_BITS - shift

Re: Infering that the condition of a for loop is initially true?

2017-09-18 Thread Niels Möller
e might need something like __builtin_assume which never produces any code to evaluate its argument at runtime. Regarsd, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. Internet email is subject to wholesale government surveillance.

Re: Infering that the condition of a for loop is initially true?

2017-09-18 Thread Niels Möller
Joseph Myers writes: > On Mon, 18 Sep 2017, Niels Möller wrote: >> I'm suggesting that with -DNDEBUG, assert(x) should let the compiler >> assume that x is true, but without producing any code to evaluate it at >> runtime. > > There's no requirement t

Broken links to online gcc manual

2013-09-21 Thread Niels Möller
https exclusively. Regards, /Niels Möller -- Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26. Internet email is subject to wholesale government surveillance.

[gnu.org #858034] Re: Broken links to online gcc manual

2013-09-21 Thread Niels Möller
Jonathan Wakely writes: > On 21 September 2013 09:11, Niels Möller wrote: >> The page https://www.gnu.org/software/gcc/ links to >> https://www.gnu.org/software/gcc/onlinedocs/, which is dead (404 Not >> found). > > Works for me, I get a 302 redirect: After a night&#

gcc extensibility

2012-03-29 Thread Niels Möller
of the same machinery. Happy hacking, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26. Internet email is subject to wholesale government surveillance.

Re: gcc extensibility

2012-03-29 Thread Niels Möller
hers. Bottom line: When interface changes in gcc really are needed, then just do them (preferably in connection with a major release), and plugins will have to follow. Regards, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26. Internet email is subject to wholesale government surveillance.