http://llvm.org/bugs/show_bug.cgi?id=8273
Summary: possible volatile bug
Product: new-bugs
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P
Component: new bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected]
Ok this is super nitpicky, but I think actually wrong.
We take this code:
int const volatile vol1 = 0;
int const vol2 = 0;
int main (void)
{
return 0;
}
and then run these commands:
[reg...@gamow ~]$ clang -O vol.c -o vol
[reg...@gamow ~]$ nm vol |grep vol
00000000004005cc R vol1
00000000004005cc R vol2
They have been put at the same location. I argue that this transformation is
illegal if any of the variables in question are volatile, because a
volatile-qualified object should only be loaded from or store to when the
abstract machine would do so.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
