Skip to content

Libraries for writing DWARF-4#754

Closed
mshinwell wants to merge 4 commits intoocaml:trunkfrom
mshinwell:dwarf_libs
Closed

Libraries for writing DWARF-4#754
mshinwell wants to merge 4 commits intoocaml:trunkfrom
mshinwell:dwarf_libs

Conversation

@mshinwell
Copy link
Contributor

This pull request provides libraries for writing the DWARF-4 debugging information format. This is not yet fully comprehensive and also does not yet provide support for reading DWARF, which might be useful in the future.

Some soundness checks on DWARF generated using this library are provided via the OCaml type system. The user interface provided by the high-level library makes the construction of DWARF debugging information entry trees straightforward, abstracting away from some of the awkward details.

This pull request will not yet build due to other changes that haven't yet been merged, but comments are welcome.

@bschommer
Copy link
Contributor

It would really be nice if this lib would also be available outside of the compiler.

@mshinwell
Copy link
Contributor Author

@bschommer I think we should be able to arrange that.

@mshinwell
Copy link
Contributor Author

@bschommer Although we would have to work out what to do about the Asm_directives dependency. Not insurmountable I'm sure.

@mshinwell
Copy link
Contributor Author

I think the only significant thing that now needs doing here, for the first release, is to clear up the mess about "rvalues" in Operator and Simple_location_description.

@damiendoligez damiendoligez added this to the 4.07-or-later milestone Sep 28, 2017
@bschommer
Copy link
Contributor

If you need someone for reviewing the Debug PR's I can offer my help. I would really appreciate if this would land in 4.07

@mshinwell
Copy link
Contributor Author

@bschommer The offer of help is much appreciated, I will be in touch.

@damiendoligez damiendoligez removed this from the consider-for-4.07 milestone Jun 4, 2018
@mshinwell
Copy link
Contributor Author

This is going to be superceded.

@mshinwell mshinwell closed this Sep 28, 2018
stedolan pushed a commit to stedolan/ocaml that referenced this pull request Sep 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants