| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fast fix for functions in different sections in one compilation unit for gcc. | Bernhard Schommer | 2015-10-06 | 1 | -1/+1 |
| | | |||||
| * | First try of debug information for gcc. | Bernhard Schommer | 2015-10-02 | 1 | -4/+5 |
| | | |||||
| * | Started implementation of gnu compatible debug information. | Bernhard Schommer | 2015-10-02 | 1 | -1/+7 |
| | | |||||
| * | Cleanup of now no longer needed functions. | Bernhard Schommer | 2015-10-01 | 1 | -1/+0 |
| | | |||||
| * | Change the way the debug sections are printed. | Bernhard Schommer | 2015-09-28 | 1 | -7/+9 |
| | | | | | | | If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior. | ||||
| * | Added location for the formal parameters and move the end of all | Bernhard Schommer | 2015-09-28 | 1 | -0/+1 |
| | | | | | scopes before the last statement. | ||||
| * | Added printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -34/+0 |
| | | | | | | | | | 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 | -0/+1 |
| | | |||||
| * | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -8/+18 |
| | | | | | | 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 | -2/+2 |
| | | | | | | | 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 | -0/+1 |
| |\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| | * | Various changes in the debug printer. | Bernhard Schommer | 2015-09-07 | 1 | -0/+1 |
| | | | | | | | | | | | | | 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. | ||||
| | * | Revert "Added support for the location of non static global variables." | Bernhard Schommer | 2015-08-23 | 1 | -1/+0 |
| | | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | ||||
| * | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -9/+13 |
| | | | | | | | | | | | 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 | -1/+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 symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -6/+9 |
| |/ | |||||
| * | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 1 | -0/+1 |
| | | |||||
| * | Allow forward declarations of structure and union types in the debug ↵ | Bernhard Schommer | 2015-07-03 | 1 | -1/+1 |
| | | | | | information. | ||||
| * | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 1 | -1/+1 |
| | | |||||
| * | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 1 | -3/+3 |
| | | |||||
| * | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 1 | -1/+2 |
| | | |||||
| * | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 1 | -4/+5 |
| | | | | | printing of packed structs. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -5/+16 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -0/+259 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |