| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Changed the size expression to 2byte for debug_loc entries. | Bernhard Schommer | 2015-09-28 | 1 | -1/+18 |
| | | |||||
| * | Added printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -7/+7 |
| | | | | | | | | | Debuging code. The old functions to store the symbol for the Global variables and retrive this is no longer needed since the atom is stored in DebugInformation. Also the Debug.Abbrev module is no longer needed. | ||||
| * | Added translation of the range lists to location entries. | Bernhard Schommer | 2015-09-25 | 1 | -1/+10 |
| | | |||||
| * | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -16/+59 |
| | | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | ||||
| * | Record the scope structure during unblocking. | Bernhard Schommer | 2015-09-22 | 1 | -6/+6 |
| | | | | | | | Instead of creating separate annotations for the local variables we call the Debug.add_lvar_scope and we construct a mapping from function id + scope id to scope information. | ||||
| * | Merge branch 'debugscopes' into debug_locations | Bernhard Schommer | 2015-09-21 | 1 | -3/+5 |
| |\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| | * | Various changes in the debug printer. | Bernhard Schommer | 2015-09-07 | 1 | -6/+7 |
| | | | | | | | | | | | | | The debug printer now uses udata for member sizes since structs can have a size larger than 255 bytes. Also functions that are inlined no longer have an high and low pc in their abbreviation entry. | ||||
| * | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -27/+25 |
| | | | | | | | | | | | Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation. | ||||
| * | | Move more functionality in the new interface. | Bernhard Schommer | 2015-09-16 | 1 | -4/+0 |
| | | | | | | | | | | | | | Added functions to add more information to the debuging interface, like the struct layout with offsets, bitifiled layout and removed the no longer needed mapping from stamp to atom. | ||||
| * | | Added the abbreviation for symbol constants. | Bernhard Schommer | 2015-08-26 | 1 | -0/+1 |
| | | | |||||
| * | | Merge branch 'master' into debug_locations | Bernhard Schommer | 2015-08-26 | 1 | -3/+2 |
| |\| | | | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml debug/DwarfTypes.mli | ||||
| | * | Fixed abbreviation of DW_TAG_formal_parameter. | Bernhard Schommer | 2015-08-25 | 1 | -1/+1 |
| | | | | | | | | | | | | | Dwarf debuging entries for formal parameters were printed as variables. This could lead to confusion in function pointer types and later with local variables. | ||||
| | * | Also change the order of high and low pc in the compilation unit tag. | Bernhard Schommer | 2015-08-24 | 1 | -1/+1 |
| | | | |||||
| | * | Revert "Added support for the location of non static global variables." | Bernhard Schommer | 2015-08-23 | 1 | -7/+1 |
| | | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | ||||
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -10/+10 |
| |/ | |||||
| * | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 1 | -1/+7 |
| | | |||||
| * | Swapped high and low pc in the printing of the debug information for ↵ | Bernhard Schommer | 2015-07-24 | 1 | -2/+2 |
| | | | | | subroutines. | ||||
| * | Allow forward declarations of structure and union types in the debug ↵ | Bernhard Schommer | 2015-07-03 | 1 | -2/+2 |
| | | | | | information. | ||||
| * | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 1 | -3/+11 |
| | | |||||
| * | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 1 | -6/+6 |
| | | |||||
| * | Removed the version from the compcert.ini file and add it again in a ↵ | Bernhard Schommer | 2015-07-01 | 1 | -1/+1 |
| | | | | | separate file. | ||||
| * | Changed the producer tag to include more information. | Bernhard Schommer | 2015-05-18 | 1 | -1/+2 |
| | | |||||
| * | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 |
| | | |||||
| * | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 1 | -7/+8 |
| | | | | | printing of packed structs. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -15/+16 |
| | | |||||
| * | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 1 | -8/+13 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -18/+25 |
| | | |||||
| * | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 1 | -12/+74 |
| | | |||||
| * | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -115/+243 |
| | | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
| * | Started integrating the debug printing in the common backend_printer. | Bernhard Schommer | 2015-03-11 | 1 | -95/+63 |
| | | |||||
| * | Starting to remove the seperate printers for each backend. | Bernhard Schommer | 2015-02-02 | 1 | -0/+356 |
| | | |||||
| * | Renamed the printer module for the Abbreviations and deactivated adding the ↵ | Bernhard Schommer | 2014-12-02 | 1 | -322/+0 |
| | | | | | -g option to the assembler. | ||||
| * | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 1 | -3/+9 |
| | | |||||
| * | More functionality for the Printer. | Bernhard Schommer | 2014-11-14 | 1 | -1/+4 |
| | | |||||
| * | Moved abbreviation printer into a seperate file. The printer should also ↵ | Bernhard Schommer | 2014-11-12 | 1 | -0/+313 |
| print the debug info. | |||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |