This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/60078] acats c761007 fails on ARM
- From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sun, 04 Jan 2015 17:42:21 +0000
- Subject: [Bug ada/60078] acats c761007 fails on ARM
- Auto-submitted: auto-generated
- References: <bug-60078-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60078
--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> that happened only once. and the problem did never ever repeat.
> But my gut feeling is still that there is a race conditition.
Yes, I agree that the usage of Side_Effect_Finger looks suspicious here.
> However I have been recently working on TSAN a bit, and I have an
> experimental tsan version that I played with. Initially
> it ICE'd on Ada's VIEW_CONVERT_EXPRs, but when I fixed that I got:
"data races" (unprotected concurrent accesses) are allowed in Ada if the object
is declared as atomic, in which case GNAT generates synchronization directives.