This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PING][RFC] Assertions as optimization hints

From: Soul Studios <matt at soulstudios dot co dot nz>
To: Yuri Gribov <tetra2005 at gmail dot com>, GCC Development <gcc at gcc dot gnu dot org>
Cc: bonzini at gnu dot org, alexr at leftfield dot org
Date: Mon, 28 Nov 2016 13:40:21 +1300
Subject: Re: [PING][RFC] Assertions as optimization hints
Authentication-results: sourceware.org; auth=none
References: <CAJOtW+48=FfefSgyPakMmFzaHfCqNv0CpXY-1p3gva4ShuqgjA@mail.gmail.com> <583B7AEB.3070109@soulstudios.co.nz>

The main problem with __assume is that it should never be used.
Literally, if you have to use it, then the code it refers to should
actually be commented out.

ps. This is a bit of a simplification - I should have stated, if theassumption is wrong, it can lead to dangerous code which breaks.

References:
- [PING][RFC] Assertions as optimization hints
  - From: Yuri Gribov
- Re: [PING][RFC] Assertions as optimization hints
  - From: Soul Studios

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]