https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109146
--- Comment #2 from David Spickett ---
A detail that might be useful. The callee function uses UB because it compares
pointers that don't point to the same object.
https://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.pdf 6.5.8 Relational
oper
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109146
--- Comment #1 from David Spickett ---
Correction. https://godbolt.org/z/fW5nsWE5e shows the issue when "!=" is used,
the previous link used "==" instead.
Component: testsuite
Assignee: unassigned at gcc dot gnu.org
Reporter: david.spickett at linaro dot org
Target Milestone: ---
With recent changes over in clang, it's now able to see through the tail call
prevention used in
https://github.com/gcc-mirror/gcc/blob/maste
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108691
--- Comment #11 from David Spickett ---
Thanks for the quick fix!
> That still leaves us with missing abnormal edges - David, was this reduced
> from an actual program?
Further to this, someone pointed out to me that an indirect call to setjm
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108691
--- Comment #7 from David Spickett ---
> That still leaves us with missing abnormal edges - David, was this reduced
> from an actual program?
No, it's a simplified version of the C used to generate an LLVM IR test case:
extern int setjmp(ptr);
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108691
--- Comment #1 from David Spickett ---
Output from freport-bug attached.
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: david.spickett at linaro dot org
Target Milestone: ---
Created attachment 54416
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54416&action=edit
Output from -freport-bug
Th
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108642
--- Comment #6 from David Spickett ---
Thanks for the link, we'll try to use those when we detect g++.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108642
--- Comment #4 from David Spickett ---
Of course, I was just looking at at assembly output in compiler explorer and
then locally I didn't link the object. That's why it seemed to work.
Compiling and linking I get:
$ ./bin/aarch64-none-linux-gnu
: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: david.spickett at linaro dot org
Target Milestone: ---
This was found by a user trying to compile llvm's libc (which is largely
written in c++) using g++ 8.5.0 for AArch
ty: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: david.spickett at linaro dot org
Target Milestone: ---
Created attachment 49337
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49337&action=edit
test C file
The attached file has function poin
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97150
--- Comment #2 from David Spickett ---
Created attachment 49250
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49250&action=edit
preprocessed test file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97150
--- Comment #1 from David Spickett ---
Created attachment 49248
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49248&action=edit
reproducer C file
Added test file.
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: david.spickett at linaro dot org
Target Milestone: ---
The attached test file assigns the following intrinsics to function pointers to
check the argument and return
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96313
--- Comment #4 from David Spickett ---
I've been fixing this for clang so here is a test file in case it's any help.
gcc version 11.0.0 20200609 (experimental)
Ubuntu 16.04.7 LTS running on x86_64
$ ./aarch64-none-elf-g++ -v
Using built-in spec
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96313
David Spickett changed:
What|Removed |Added
CC||david.spickett at linaro dot
org
16 matches
Mail list logo
