| Anonymous | Login | Signup for a new account | 2013-05-18 23:45 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0005855 | OCaml | OCaml runtime system | public | 2012-12-14 17:45 | 2013-02-11 11:39 | ||||||
| Reporter | thelema | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | new | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 4.00.1 | ||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0005855: Compiling in debug mode should turn on caml_record_backtrace by default | ||||||||||
| Description | At the moment, the OCAMLRUNPARAM=b and compiling in debug mode with '-g' are orthogonal. Is there any reason that programs compiled with '-g' shouldn't have 'b' enabled by default? | ||||||||||
| Steps To Reproduce | Compile a program with -g and set OCAMLRUNPARAM="", and see the lack of backtraces. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0008611) ygrek (reporter) 2012-12-14 17:49 |
-g adds debug information which can be useful without wasting time recording backtraces of all exceptions, e.g. for sampling profiling. |
|
(0008835) gasche (developer) 2013-02-10 09:35 |
I came to submit the exact same feature wish, which has been suggested to me by a programmer unfamiliar with OCaml, which was surprised `-g` did not activate stack printing by default. Given the documentation of the `-g` flag, this is a reasonable expectation: -g Record debugging information for exception backtrace As ygrek says, there are other uses of -g that don't need or want the corresponding overhead, but I think we should make the common case the simpler to use, and let expert with other use cases use `OCAMLRUNPARAM="b=0"`. |
|
(0008836) chambart (reporter) 2013-02-11 10:52 |
Something like that would improve a lot average bug report when classical users are not necessarily familiar with OCaml and you can't expect user to come back providing more informations. This kind of situation is common on linux distribution bug trackers. |
|
(0008837) gasche (developer) 2013-02-11 11:39 edited on: 2013-02-11 14:04 |
(Eating a previous suggestion about treating unhandled exceptions differently from the others. Indeed, with dynamically filtering exception handlers, it's impossible to know which exceptions will be handled by the stack of existing handlers without executing them, at which point the stack is already discarded unless b=1.) |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-12-14 17:45 | thelema | New Issue | |
| 2012-12-14 17:49 | ygrek | Note Added: 0008611 | |
| 2013-02-10 09:35 | gasche | Note Added: 0008835 | |
| 2013-02-11 10:52 | chambart | Note Added: 0008836 | |
| 2013-02-11 11:39 | gasche | Note Added: 0008837 | |
| 2013-02-11 14:04 | gasche | Note Edited: 0008837 | View Revisions |
| Copyright © 2000 - 2011 MantisBT Group |