https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #35 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to rguent...@suse.de from comment #34)
On Sat, 23 May 2015, gil.hur at sf dot snu.ac.kr wrote:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #37 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to rguent...@suse.de from comment #36)
On Tue, 26 May 2015, gil.hur at sf dot snu.ac.kr wrote:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #33 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
Dear Richard,
Thanks for the detailed response.
I have a suggestion for a solution of the problem, which is based on my paper
to appear at PLDI 2015.
* A Formal C Memory Model
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #29 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
Dear Richard,
This time, I think I constructed a real bug.
Please have a look and correct me if I am wrong.
=
#include stdio.h
int main() {
int x = 0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #26 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
Thanks for the detailed explanations.
The C standard only guarantees that you can convert a pointer to uintptr_t
and back, it doesn't guarantee that you can convert a modified
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #27 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to Chung-Kil Hur from comment #26)
Thanks for the detailed explanations.
The C standard only guarantees that you can convert a pointer to uintptr_t
and back
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #15 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
Hi Richard,
Thanks for the explanation.
But, what I wonder was how to justify such an optimization, rather than how it
works.
I have a better example. This might be a real bug
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #17 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
Hi Richard,
I modified the example further.
#include stdio.h
int main() {
int x = 0;
uintptr_t xp = (uintptr_t) x;
uintptr_t i, j;
for (i = 0; i xp; i++) { }
j = i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #21 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to Marek Polacek from comment #20)
(In reply to Chung-Kil Hur from comment #19)
(In reply to rguent...@suse.de from comment #18)
On Tue, 19 May 2015, gil.hur at sf
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #22 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to Chung-Kil Hur from comment #21)
(In reply to Marek Polacek from comment #20)
(In reply to Chung-Kil Hur from comment #19)
(In reply to rguent...@suse.de from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #19 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to rguent...@suse.de from comment #18)
On Tue, 19 May 2015, gil.hur at sf dot snu.ac.kr wrote:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #24 from Chung-Kil Hur gil.hur at sf dot snu.ac.kr ---
(In reply to schwab from comment #23)
gil.hur at sf dot snu.ac.kr gcc-bugzi...@gcc.gnu.org writes:
Since hello is not printed, I think the if-statement is the same as no-op
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
Chung-Kil Hur gil.hur at sf dot snu.ac.kr changed:
What|Removed |Added
CC||gil.hur at sf
13 matches
Mail list logo
