aboutsummaryrefslogtreecommitdiffstats
path: root/debug
Commit message (Collapse)AuthorAgeFilesLines
* "macosx" is now called "macos"Xavier Leroy2021-01-181-1/+1
| | | | | The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-2/+2
|
* Added base address if needed.Bernhard Schommer2020-02-063-33/+53
| | | | | | | | Ranges of locations are relative to some base address. Most times this is just the same as the compilation unit. However if the compilation unit contains functions in multiple sections we need to add a base address of the section that the locations are contained.
* Compatibility with OCaml 4.10 (#214)Xavier Leroy2020-02-061-1/+1
| | | | | | | | debug/DwarfPrinter.mli: unused functor parameter trigger warning 69, replace by non-dependent functor type. Makefile.extr: turn warning 69 (unused functor parameter) off for extracted code configure: accept OCaml versions above 4.09 configure: update messages for unsupported versions of OCaml and Coq
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
| | | | | | | | | Move its definitions to modules C (the type `builtins`) and Env (the operations that deal with the initial environment). Reasons for the refactoring: 1- The name "Builtins" will soon be reused for a Coq module 2- `Env.initial()` makes more sense than `Builtins.environment()`.
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-2/+2
| | | | | | | | | | | | | | | | * Do not use `Pervasives.xxx` qualified names Starting with OCaml 4.08, `Pervasives` is deprecated in favor of `Stdlib`, and uses of `Pervasives` cause fatal warnings. This commit uses unqualified names instead, as no ambiguity occurs. * Clarify "open" statements OCaml 4.08.0 has stricter warnings concerning open statements that shadow module names. Closes: #300
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-313-4/+4
| | | | | | This is a manual, partial merge of Github pull request #296 by @Fourchaux. flocq/, cparser/MenhirLib/ and parts of test/ have not been changed because these are local copies and the fixes should be performed upstream.
* Change to AbsInt version string.Bernhard Schommer2019-05-101-1/+1
| | | | | The AbsInt build number no longer contains "release", so it must be printed additionally.
* Simplified offset printing.Bernhard Schommer2019-04-161-2/+3
| | | | | | | Instead of printing an the start label and adding the offset by computing the difference of the range label and the start label use the range label directly. Bug 26234
* Print only debug info for printed functions.Bernhard Schommer2019-04-165-13/+16
| | | | | | | | | | | Functions that are removed from the compilation unit, for example inline functions without extern, should not produce debug information. This commit reuses the mechanism used for variables in order to track additionally the printed functions. Therefore the printed variable versions are exchanged for a printed symbol version. Bug 26234
* Reworked range entries.Bernhard Schommer2019-04-163-39/+71
| | | | | | | | | | | | The fist changes changes the offset for range entries to used labels instead of integer constants, leaving the computation to the assembler. The second part of the change the address changes the way ranges entries of scopes are printed. They need to be relative to the start address of the code in the section they are included. Bug 26234
* Avoid generation of empty ranges.Bernhard Schommer2019-04-161-1/+4
| | | | | | As noted in the DWARF 3 specification empty ranges have no effect and can be left out. Bug 26234
* Relax requirement for ranges for compilation unit.Bernhard Schommer2019-04-161-1/+1
| | | | | | Ranges for non-contiguous address ranges are already part of dwarf version 3. Bug 26234
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-021-1/+1
| | | | | | Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
* Reverted reintroduced quote of compilation dir.Bernhard Schommer2017-09-191-2/+2
|
* No verbose debug info in default mode.Bernhard Schommer2017-07-141-5/+17
| | | | | | We don't need verbose debug for the assembler. The verbose debug information should only be printed if assembler files are generated.
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-2/+2
| | | | | | | | | | | | | This commit adds code generation for 64bit PowerPC architectures which execute 32bit applications. The main difference to the normal 32bit PowerPC port is that it uses the available 64bit instructions instead of using the runtime library functions. However pointers are still 32bit and the 32bit calling convention is used. In order to use this port the target architecture must be either in Server execution mode or if in Embedded execution mode the high order 32 bits of GPRs must be implemented in 32-bit mode. Furthermore the operating system must preserve the high order 32 bits of GPRs.
* Better fix for problems with quoting in files.Bernhard Schommer2017-03-202-4/+4
| | | | | | Instead of using Filename.quote, string entries are printed with %S. Bug 21216
* Quote directory for comp_dir entry.Bernhard Schommer2017-03-201-2/+2
| | | | | | The compilation directory entry needs quoting since it could be a toplevel directory under windows. Bug 21216
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-7/+6
| | | | | | | The variable gnu_toolchain is true if a gnu toolchain is used and false in all other cases. The variable avoids the explicit test whether the system string is diab and should be easier to change. Bug 20521.
* Simplified DebugInformation interface.Bernhard Schommer2017-02-063-83/+36
| | | | | Instead of exporting and setting all functions we just fill the struct already in DebugInformation with the correct functions.
* Remove open AST.Bernhard Schommer2017-02-061-4/+3
| | | | The two types needed from AST are prefixed directly.
* Removed the open AST.Bernhard Schommer2017-02-062-10/+8
| | | | | Only two types from AST are needed and the global shadowing open can be removed.
* Do not print anonymous member names in debug infoBernhard Schommer2017-01-245-4/+6
| | | | | Anonymous members no longer are printed in the debug information. Fix 20798
* Use quoted strings.Bernhard Schommer2017-01-181-5/+6
| | | | | | Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
* More verbose dwarf.Bernhard Schommer2016-12-073-4/+6
|
* Compute the correct size of location expressions.Bernhard Schommer2016-12-011-1/+1
| | | | | The arm dwarf float registers constants are larger than 2 bytes. Bug 20489
* Reset all Hashtbls.Bernhard Schommer2016-11-252-10/+14
| | | | | A non reseted Hashtbl caused problems with multiple input files. Bug 20462
* Do not use hardcoded register number for sp.Bernhard Schommer2016-11-251-10/+10
| | | | | | Since the dwarf register names for x86_32 and x86_64 differ it is wrong to hardcode the dwarf register number for rsp to 4. Bug 20461
* Use 64 bit address in debug information.Bernhard Schommer2016-11-102-19/+23
| | | | | Address constants need to be 64bit also in the debug information. Bug 20335
* macosx needs all strings in degub_str.Bernhard Schommer2016-10-251-1/+2
|
* Pass range info to the children.Bernhard Schommer2016-10-251-1/+2
|
* Refactored debugging options.Bernhard Schommer2016-10-141-2/+36
| | | | | | | The options controlling the generation of debugging information are now moved into the Debug module. Futhermore the -gdepth options are replaced in favor of a more gcc compatible version. Bug 20193
* Added sizetyp for subarray bounds. Fix 19894Bernhard Schommer2016-09-223-21/+43
|
* Use asprintf instead of printing to a buffer.Bernhard Schommer2016-07-261-5/+2
|
* Activate advanced debug information for arm, ia32.Bernhard Schommer2016-06-281-1/+1
| | | | | | The configuration advanced debug is removed and now full debug information is also generated for ia32 and arm. Bug 17609
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-10/+0
|\
* | Added an interface file for DebugInformation.Bernhard Schommer2016-03-185-43/+183
| | | | | | | | | | | | The interface hides the implementation details, like the huge number of Hashtbls from the rest of the implementatio. Bug 18394
* | Code cleanup.Bernhard Schommer2016-03-107-25/+12
|/ | | | | | Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
* More unique debug types.Bernhard Schommer2016-01-143-26/+26
| | | | | | The typdef, enumerator and function_type types form the DebugTypes and DwarfTypes shared a some fields. This commits renames them in order to make them more unique and avoid potential name clashes.
* Sort strings in the debug_str section.Bernhard Schommer2015-12-041-0/+1
| | | | | | In order to get deterministic output code we need to sort the strings in the debug_str section by their label. Fix 17727.
* Fixed regression introduce by merge of PR#69.Bernhard Schommer2015-12-034-0/+16
| | | | | | | Since the identifier of a function definition and of its declaration are equal we only should remove functions if the function iteself is removed. Bug 17724.
* Added now option to control debug output.Bernhard Schommer2015-11-161-17/+20
| | | | | | | | | | | The new option gdepth subumes the gonly-globals. The option allows it to control the level of information that is produced. This option allows it to generate debugging inforation for: -Only globals -Global and local variables but without location information for the local variable -Full information Bug 17638.
* Do not enforce locations for function parameters.Bernhard Schommer2015-11-101-1/+3
| | | | | | | In the case of struct function parameters it is not always guaranteed that they are still there and not translated into plain integer arguments. Bug 17609.
* Merge branch 'master' of ↵Michael Schmidt2015-11-061-2/+2
|\ | | | | | | git+ssh://ssh.absint.com/common/repositories/git/tools/compcert
| * Do not print parameter names in function types.Bernhard Schommer2015-11-061-2/+2
| | | | | | | | | | | | | | For function types used by function pointers we do not need to print the name of the paraments. Also switch the logic in case of prototyped/unprototyped. Fix 17579.
* | bug 17567, typosMichael Schmidt2015-11-064-11/+11
|/
* New option to control the debug information build.Bernhard Schommer2015-11-042-5/+12
| | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566.
* bug 17567, typosMichael Schmidt2015-11-041-3/+3
|
* bug 17567, typosMichael Schmidt2015-11-042-2/+2
|
generated by cgit (git 2.34.1) at 2024-05-09 00:00:13 +0000