tests: native-debugger: sanitize GDB+musl output#14033
Merged
gasche merged 2 commits intoocaml:trunkfrom May 14, 2025
Merged
Conversation
gasche
approved these changes
May 14, 2025
Member
|
I mentioned to @MisterDA that the test is also unstable on my machine (linux, amd64, Fedora) -- if I install --- /home/gasche/Prog/ocaml/github-trunk/testsuite/tests/native-debugger/linux-lldb-amd64.reference 2025-05-13 15:23:15.663486876 +0100
+++ /home/gasche/Prog/ocaml/github-trunk/_ocamltest/testsuite/tests/native-debugger/linux-lldb-amd64/ocamlopt.byte/linux-lldb-amd64.opt.output 2025-05-14 12:20:14.343214810 +0100
@@ -27,7 +27,7 @@
frame 5: meander`caml_main
frame 6: meander`main
frame 7: libc.so.6`__libc_start_call_main
-frame 8: libc.so.6`__libc_start_main_impl
+frame 8: libc.so.6`__libc_start_main@@GLIBC_2.34
frame 9: meander`_start
(lldb) continue
Process XXXX resuming
@@ -44,7 +44,7 @@
frame 6: meander`caml_main
frame 7: meander`main
frame 8: libc.so.6`__libc_start_call_main
-frame 9: libc.so.6`__libc_start_main_impl
+frame 9: libc.so.6`__libc_start_main@@GLIBC_2.34
frame 10: meander`_start
(lldb) continue
Process XXXX resuming
@@ -73,7 +73,7 @@
frame 10: meander`caml_main
frame 11: meander`main
frame 12: libc.so.6`__libc_start_call_main
-frame 13: libc.so.6`__libc_start_main_impl
+frame 13: libc.so.6`__libc_start_main@@GLIBC_2.34
frame 14: meander`_start
(lldb) continue
Process XXXX resuming
@@ -106,6 +106,6 @@
frame 14: meander`caml_main
frame 15: meander`main
frame 16: libc.so.6`__libc_start_call_main
-frame 17: libc.so.6`__libc_start_main_impl
+frame 17: libc.so.6`__libc_start_main@@GLIBC_2.34
frame 18: meander`_start
(lldb) quit |
c220944 to
43f6668
Compare
43f6668 to
bf40de4
Compare
Contributor
Author
|
Final version, which works on Gabriel's machine. |
dra27
pushed a commit
that referenced
this pull request
Jan 10, 2026
tests: native-debugger: sanitize GDB+musl output (cherry picked from commit 8835a8b)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #14019 with even more sanitation. Precheck on Alpine Linux (GDB+musl) succeeds: https://ci.inria.fr/ocaml/job/precheck/flambda=false,label=ocaml-alpine/1058/.