Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: piotrsiupa at gmail dot com
Target Milestone: ---
Created attachment 47500
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47500&action=edit
Minimal and complete example
There is a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90693
Piotr Siupa changed:
What|Removed |Added
CC||piotrsiupa at gmail dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90693
--- Comment #11 from Piotr Siupa ---
Thanks! Now the generated assembly is one instruction shorter.
It works for:
bool foo(unsigned x)
{
[[assume(x != 0)]];
return std::has_single_bit(x);
}
and for:
bool foo(unsigned x)
{
if (x == 0)
