Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge branch 'master' into debug_locations | Bernhard Schommer | 2015-08-26 | 2 | -21/+31 | |
|\| | | | | | | | | | | | | | 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. | |||||
| * | Fixed error in handling of anonymous struct/union/enum types. | Bernhard Schommer | 2015-08-24 | 1 | -8/+15 | |
| | | | | | | | | Composite types should be always handled by the composite_type_info table and not by the normal type table. | |||||
| * | 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 | 3 | -9/+2 | |
| | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | |||||
| * | Do not add subsize tag to array types without size such as flexible array ↵ | Bernhard Schommer | 2015-08-23 | 1 | -10/+14 | |
| | | | | | | | | members. | |||||
* | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 3 | -24/+24 | |
|/ | ||||||
* | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 3 | -2/+9 | |
| | ||||||
* | 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 | 3 | -14/+52 | |
| | | | | information. | |||||
* | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 2 | -4/+12 | |
| | ||||||
* | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 3 | -18/+18 | |
| | ||||||
* | Add bulitin typedes during C to dwarf translation. | Bernhard Schommer | 2015-07-02 | 1 | -6/+9 | |
| | ||||||
* | 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 | |
| | ||||||
* | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -1/+1 | |
| | ||||||
* | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 1 | -0/+1 | |
| | ||||||
* | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 3 | -10/+21 | |
| | ||||||
* | Refactored code, added comments and changed handling of types with ↵ | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 | |
| | | | | attributes to avoid duplications. | |||||
* | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 | |
| | ||||||
* | Compute the size of structs using the result of the packing and bitfield ↵ | Bernhard Schommer | 2015-03-26 | 2 | -8/+26 | |
| | | | | transformations. | |||||
* | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 3 | -18/+135 | |
| | | | | printing of packed structs. | |||||
* | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 4 | -69/+148 | |
| | ||||||
* | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 2 | -9/+32 | |
| | ||||||
* | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 4 | -24/+203 | |
| | ||||||
* | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 2 | -7/+18 | |
| | ||||||
* | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 2 | -14/+76 | |
| | ||||||
* | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 3 | -156/+293 | |
| | | | | 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 | 3 | -152/+96 | |
| | ||||||
* | Starting to remove the seperate printers for each backend. | Bernhard Schommer | 2015-02-02 | 2 | -8/+105 | |
| | ||||||
* | Started implementation of printing the dwarf entries. | Bernhard Schommer | 2014-12-15 | 2 | -11/+15 | |
| | ||||||
* | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ↵ | Bernhard Schommer | 2014-12-04 | 1 | -1/+1 | |
| | | | | printing for printing the line directives without forcing the assembler to generate debug information. | |||||
* | Renamed the printer module for the Abbreviations and deactivated adding the ↵ | Bernhard Schommer | 2014-12-02 | 1 | -17/+5 | |
| | | | | -g option to the assembler. | |||||
* | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 2 | -8/+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 | 2 | -294/+346 | |
| | | | | print the debug info. | |||||
* | Added functions for printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 2 | -3/+17 | |
| | ||||||
* | Generalised functionality for the printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 1 | -0/+266 | |
| | ||||||
* | Added more functions to print the abbreviations. | Bernhard Schommer | 2014-11-06 | 1 | -72/+47 | |
| | ||||||
* | More functions for printing the abbreviations. | Bernhard Schommer | 2014-10-31 | 1 | -44/+40 | |
| | ||||||
* | Started implementing functions to compute the abbreviations for the diab ↵ | Bernhard Schommer | 2014-10-29 | 1 | -6/+6 | |
| | | | | compiler. | |||||
* | Added the type information to the global information stored for each atom. | Bernhard Schommer | 2014-10-27 | 1 | -1/+4 | |
| | ||||||
* | Added more functionality to DwarfUtil. | Bernhard Schommer | 2014-10-24 | 1 | -0/+39 | |
| | ||||||
* | Added a file for utility functions on the Dwarf types. | Bernhard Schommer | 2014-10-23 | 2 | -42/+66 | |
| | ||||||
* | Added type for all tags. | Bernhard Schommer | 2014-10-21 | 1 | -1/+22 | |
| | ||||||
* | Fixed smaller mistakes. | Bernhard Schommer | 2014-10-21 | 1 | -8/+7 | |
| | ||||||
* | Removed more not needed attributes. | Bernhard Schommer | 2014-10-20 | 1 | -92/+32 | |
| | ||||||
* | Removed more not needed attributes from the tag types. | Bernhard Schommer | 2014-10-17 | 1 | -19/+50 | |
| | ||||||
* | Started revising the tag types to only include attributes which are actually ↵ | Bernhard Schommer | 2014-10-15 | 1 | -17/+10 | |
| | | | | used debuggers. | |||||
* | Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ↵ | Bernhard Schommer | 2014-10-15 | 1 | -1/+56 | |
| | | | | 2 standard. |