DEBUGGER PROGRAM WHICH INCLUDES CORRELATION OF COMPUTER PROGRAM SOURCE CODE WITH OPTIMIZED OBJET CODE

Debugging of computer programs is necessary for the development of the programs as well as for maintaining the operation of the programs. Symbolic debugging requires the ability to relate the current position in the object code program to the corresponding position in the source code. In the absence of compiler optimization, correlating the source and object code elements is a straightforward procedure. However, when the object code has been optimized, the relation between the source code constructs and object code instructions can become convoluted and complex. A correlation technique for optimized code is disclosed which maps the source constructs (source units) through each of the optimization operations by use of compilation nodes and associated source units to build a table which relates ranges of object instructions to the source units which produced the object instructions. La mise au point de programmes informatiques est nécessaire au développement des programmes ainsi qu'à l'entretien de leur état de fonctionnement. La mise au point symbolique requiert l'aptitude à associer la position courante dans le code résultant et la position correspondante dans le code source. En l'absence d'une optimalisation du compilateur, la corrélation des éléments du code source et de ceux du code résultant est une opération simple. Cependant, lorsque le code résultant a été optimalisé, la relation entre les structures de code source et les instructions du code résultant peut s'avérer compliquée et tortueuse. L'invention se rapporte à une technique de corrélation pour un code optimalisé, qui permet de mapper les structures sources (les unités sources) à travers chacune des opérations d'optimalisation par l'intermédiaire de noeuds de compilation et d'unités sources associées afin de constituer une table qui associe des plages d'instructions de code résultant aux unités sources qui ont servi à produire lesdites instructions.