public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/54003] New: __atomic_always_lock_free inconsistent with __atomic_is_lock_free
@ 2012-07-17 20:30 hp at gcc dot gnu.org
2012-07-17 20:32 ` [Bug tree-optimization/54003] " hp at gcc dot gnu.org
0 siblings, 1 reply; 2+ messages in thread
From: hp at gcc dot gnu.org @ 2012-07-17 20:30 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54003
Bug #: 54003
Summary: __atomic_always_lock_free inconsistent with
__atomic_is_lock_free
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: hp@gcc.gnu.org
CC: amacleod@redhat.com
Created attachment 27817
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27817
Testcase suitable for gcc.dg/torture
The attached code, suitable for gcc.dg/torture (or add -O2 to options if you
want it to play in the same pool as the other atomic tests), exposes an
inconsistency in the atomic support. The "constant" test says true while the
"varying" test is allowed to say (and forced to say) false. I think this
particular case is curable by the to-be-attached patch, but I haven't tested it
and the comment needs tweaking, so just passing along as conceptual. :)
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug tree-optimization/54003] __atomic_always_lock_free inconsistent with __atomic_is_lock_free
2012-07-17 20:30 [Bug tree-optimization/54003] New: __atomic_always_lock_free inconsistent with __atomic_is_lock_free hp at gcc dot gnu.org
@ 2012-07-17 20:32 ` hp at gcc dot gnu.org
0 siblings, 0 replies; 2+ messages in thread
From: hp at gcc dot gnu.org @ 2012-07-17 20:32 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54003
--- Comment #1 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2012-07-17 20:31:58 UTC ---
Created attachment 27818
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27818
Conceptual patch - note comments
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-07-17 20:32 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-07-17 20:30 [Bug tree-optimization/54003] New: __atomic_always_lock_free inconsistent with __atomic_is_lock_free hp at gcc dot gnu.org
2012-07-17 20:32 ` [Bug tree-optimization/54003] " hp at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).