Indexing letter 's'.
[dwarf-doc.git] / dwarf5 / latexdoc / programscope.tex
index e56c97c..7c39e76 100644 (file)
@@ -9,21 +9,30 @@ as bounded by ranges of text addresses within the program.
 
 \section{Unit Entries}
 An object file may contain one or more compilation units,
-of which there are three kinds: normal compilation units,
-partial compilation units and type units. A partial compilation
-unit is related to one or more other compilation units that
-import it. A type unit represents a single complete type in a
-separate unit. Either a normal compilation unit or a partial
-compilation unit may be logically incorporated into another
-compilation unit using an imported unit entry.
+of which there are 
+\addtoindexx{compilation unit}
+three kinds: 
+\addtoindexx{normal compilation unit}
+normal compilation units,
+partial compilation units and type units. A 
+\addtoindex{partial compilation unit}
+is related to one or more other compilation units that
+import it. A 
+\addtoindex{type unit} represents 
+a single complete type in a
+separate unit. Either a normal compilation unit or a 
+\addtoindex{partial compilation unit}
+may be logically incorporated into another
+compilation unit using an 
+\addtoindex{imported unit entry}.
 
 \subsection[Normal and Partial CU Entries]{Normal and Partial Compilation Unit Entries}
 \label{chap:normalandpartialcompilationunitentries}
 
-A normal compilation unit is represented by a debugging
+A \addtoindex{normal compilation unit} is represented by a debugging
 information entry with the 
-tag \livetarg{chap:DWTAGcompileunit}{DW\-\_TAG\-\_compile\-\_unit}. A partial
-compilation unit is represented by a debugging information
+tag \livetarg{chap:DWTAGcompileunit}{DW\-\_TAG\-\_compile\-\_unit}. 
+A \addtoindex{partial compilation unit} is represented by a debugging information
 entry with the 
 tag \livetarg{chap:DWTAGpartialunit}{DW\-\_TAG\-\_partial\-\_unit}.
 
@@ -45,8 +54,8 @@ used to represent portions of an object file.
 \textit{A normal compilation unit typically represents the text and
 data contributed to an executable by a single relocatable
 object file. It may be derived from several source files,
-including pre\dash processed ``include files.'' A partial
-compilation unit typically represents a part of the text
+including pre\dash processed ``include files.'' 
+A \addtoindex{partial compilation unit} typically represents a part of the text
 and data of a relocatable object file, in a manner that can
 potentially be shared with the results of other compilations
 to save space. It may be derived from an ``include file'',
@@ -94,19 +103,28 @@ in combination
 with 
 \livelink{chap:DWATranges}{DW\-\_AT\-\_ranges} to specify the
 \addtoindexx{ranges attribute}
-default base address for use in location lists (see Section
+default base address for use in 
+\addtoindexx{location list}
+location lists (see Section
 \refersec{chap:locationlists}) and range lists 
+\addtoindexx{range list}
 (see Section \refersec{chap:noncontiguousaddressranges}).
 
-\item A \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute whose value is a null\dash terminated
+\item A \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute 
+\addtoindexx{name attribute}
+whose value is a null\dash terminated
 string 
 \hypertarget{chap:DWATnamepathnameofcompilationsource}
 containing the full or relative path name of the primary
 source file from which the compilation unit was derived.
 
-\item A \livelink{chap:DWATlanguage}{DW\-\_AT\-\_language} attribute whose constant value is an
+\item A \livelink{chap:DWATlanguage}{DW\-\_AT\-\_language} attribute 
+\addtoindexx{language attribute}
+whose constant value is an
 \hypertarget{chap:DWATlanguageprogramminglanguage}
-integer code indicating the source language of the compilation
+integer code 
+\addtoindexx{language attribute}
+indicating the source language of the compilation
 unit. The set of language names and their meanings are given
 in 
 Figure \refersec{fig:languagenames}.
@@ -117,33 +135,38 @@ Figure \refersec{fig:languagenames}.
 \label{fig:languagenames}
 \begin{tabular}{ll}
 Language name & Meaning\\ \hline
-\livetarg{chap:DWLANGAda83}{DW\-\_LANG\-\_Ada83} \dag&ISO Ada:1983 \addtoindexx{Ada} \\
+\livetarg{chap:DWLANGAda83}{DW\-\_LANG\-\_Ada83} \dag&ISO \addtoindex{Ada}:1983 \addtoindexx{Ada} \\
 \livetarg{chap:DWLANGAda95}{DW\-\_LANG\-\_Ada95} \dag&ISO Ada:1995 \addtoindexx{Ada} \\
 \livetarg{chap:DWLANGC}{DW\-\_LANG\-\_C}&Non-standardized C, such as K\&R \\
 \livetarg{chap:DWLANGC89}{DW\-\_LANG\-\_C89}&ISO C:1989 \\
-\livetarg{chap:DWLANGC99}{DW\-\_LANG\-\_C99} & ISO C:1999 \\
-\livetarg{chap:DWLANGCplusplus}{DW\-\_LANG\-\_C\-\_plus\-\_plus}&ISO C++:1998 \\
-\livetarg{chap:DWLANGCobol74}{DW\-\_LANG\-\_Cobol74}& ISO Cobol:1974 \\
-\livetarg{chap:DWLANGCobol85}{DW\-\_LANG\-\_Cobol85} & ISO Cobol:1985 \\
-\livetarg{chap:DWLANGD}{DW\-\_LANG\-\_D} \dag & D \\
-\livetarg{chap:DWLANGFortran77}{DW\-\_LANG\-\_Fortran77} &ISO FORTRAN 77\\
-\livetarg{chap:DWLANGFortran90}{DW\-\_LANG\-\_Fortran90} & ISO Fortran 90\\
-\livetarg{chap:DWLANGFortran95}{DW\-\_LANG\-\_Fortran95} & ISO Fortran 95\\
-\livetarg{chap:DWLANGJava}{DW\-\_LANG\-\_Java} & Java\\
-\livetarg{chap:DWLANGModula2}{DW\-\_LANG\-\_Modula2} & ISO Modula\dash 2:1996\\
-\livetarg{chap:DWLANGObjC}{DW\-\_LANG\-\_ObjC} & Objective C\\
-\livetarg{chap:DWLANGObjCplusplus}{DW\-\_LANG\-\_ObjC\-\_plus\-\_plus} & Objective C++\\
-\livetarg{chap:DWLANGPascal83}{DW\-\_LANG\-\_Pascal83} & ISO Pascal:1983\\
-\livetarg{chap:DWLANGPLI}{DW\-\_LANG\-\_PLI} \dag & ANSI PL/I:1976\\
-\livetarg{chap:DWLANGPython}{DW\-\_LANG\-\_Python} \dag & Python\\
-\livetarg{chap:DWLANGUPC}{DW\-\_LANG\-\_UPC} &Unified Parallel C\\ \hline
+\livetarg{chap:DWLANGC99}{DW\-\_LANG\-\_C99} & ISO \addtoindex{C}:1999 \\
+\livetarg{chap:DWLANGCplusplus}{DW\-\_LANG\-\_C\-\_plus\-\_plus}&ISO \addtoindex{C++}:1998 \\
+\livetarg{chap:DWLANGCobol74}{DW\-\_LANG\-\_Cobol74}& ISO \addtoindex{Cobol}:1974 \\
+\livetarg{chap:DWLANGCobol85}{DW\-\_LANG\-\_Cobol85} & ISO \addtoindex{Cobol}:1985 \\
+\livetarg{chap:DWLANGD}{DW\-\_LANG\-\_D} \dag & D \addtoindexx{D language} \\
+\livetarg{chap:DWLANGFortran77}{DW\-\_LANG\-\_Fortran77} &ISO \addtoindex{FORTRAN} 77\\
+\livetarg{chap:DWLANGFortran90}{DW\-\_LANG\-\_Fortran90} & ISO \addtoindex{Fortran 90}\\
+\livetarg{chap:DWLANGFortran95}{DW\-\_LANG\-\_Fortran95} & ISO \addtoindex{Fortran 95}\\
+\livetarg{chap:DWLANGJava}{DW\-\_LANG\-\_Java} & \addtoindex{Java}\\
+\livetarg{chap:DWLANGModula2}{DW\-\_LANG\-\_Modula2} & ISO Modula\dash 2:1996 \addtoindexx{Modula-2}\\
+\livetarg{chap:DWLANGObjC}{DW\-\_LANG\-\_ObjC} & \addtoindex{Objective C}\\
+\livetarg{chap:DWLANGObjCplusplus}{DW\-\_LANG\-\_ObjC\-\_plus\-\_plus} & \addtoindex{Objective C++}\\
+\livetarg{chap:DWLANGPascal83}{DW\-\_LANG\-\_Pascal83} & ISO \addtoindex{Pascal}:1983\\
+\livetarg{chap:DWLANGPLI}{DW\-\_LANG\-\_PLI} \dag & ANSI \addtoindex{PL/I}:1976\\
+\livetarg{chap:DWLANGPython}{DW\-\_LANG\-\_Python} \dag & \addtoindex{Python}\\
+\livetarg{chap:DWLANGUPC}{DW\-\_LANG\-\_UPC} &\addtoindex{Unified Parallel C}\\ \hline
 \dag \ \ Support for these languages is limited.& \\
 \end{tabular}
 \end{figure}
 
-\item A \livelink{chap:DWATstmtlist}{DW\-\_AT\-\_stmt\-\_list} attribute whose value is a section
+\item A \livelink{chap:DWATstmtlist}{DW\-\_AT\-\_stmt\-\_list} attribute whose value is 
+\addtoindexx{statement list attribute}
+a 
+\addtoindexx{section offset!in statement list attribute}
+section
 \hypertarget{chap:DWATstmtlistlinenumberinformationforunit}
-offset to the line number information for this compilation
+offset 
+to the line number information for this compilation
 unit.  This information is placed in a separate object file
 section from the debugging information entries themselves. The
 value of the statement list attribute is the offset in the
@@ -151,7 +174,11 @@ value of the statement list attribute is the offset in the
 information for this compilation unit 
 (see Section \refersec{chap:linenumberinformation}).
 
-\item A \livelink{chap:DWATmacroinfo}{DW\-\_AT\-\_macro\-\_info} attribute whose value is a section
+\item A \livelink{chap:DWATmacroinfo}{DW\-\_AT\-\_macro\-\_info} attribute 
+\addtoindex{macro information attribute}
+whose value is a 
+\addtoindexx{section offset!in macro information attribute}
+section
 \hypertarget{chap:DWATmacroinfomacroinformation}
 offset to the macro information for this compilation unit.
 This information is placed in a separate object file section
@@ -170,7 +197,9 @@ null\dash terminated string containing the current working directory
 of the compilation command that produced this compilation
 unit in whatever form makes sense for the host system.
 
-\item  A \livelink{chap:DWATproducer}{DW\-\_AT\-\_producer} attribute whose value is a null\dash
+\item  A \livelink{chap:DWATproducer}{DW\-\_AT\-\_producer} attribute 
+\addtoindexx{producer attribute}
+whose value is a null\dash
 terminated string containing information about the compiler
 \hypertarget{chap:DWATproducercompileridentification}
 that produced the compilation unit. The actual contents of
@@ -181,11 +210,14 @@ with other producer values.
 
 
 \item  A \livelink{chap:DWATidentifiercase}{DW\-\_AT\-\_identifier\-\_case} 
-attribute whose integer
+attribute 
+\addtoindexx{identifier case attribute}
+whose integer
 \hypertarget{chap:DWATidentifiercaseidentifiercaserule}
 constant value is a code describing the treatment
 of identifiers within this compilation unit. The
-set of identifier case codes is given in Figure
+set of identifier case codes 
+is given in Figure
 \refersec{fig:identifiercasecodes}.
 
 \begin{figure}[here]
@@ -200,19 +232,23 @@ set of identifier case codes is given in Figure
 
 \livetarg{chap:DWIDcasesensitive}{DW\-\_ID\-\_case\-\_sensitive} is the default for all compilation units
 that do not have this attribute.  It indicates that names given
-as the values of \livelink{chap:DWATname}{DW\-\_AT\-\_name} attributes in debugging information
+as the values of \livelink{chap:DWATname}{DW\-\_AT\-\_name} attributes 
+\addtoindexx{name attribute}
+in debugging information
 entries for the compilation unit reflect the names as they
 appear in the source program. The debugger should be sensitive
 to the case of identifier names when doing identifier lookups.
 
-\livetarg{chap:DWIDupcase}{DW\-\_ID\-\_up\-\_case} means that the producer of the debugging
+\livetarg{chap:DWIDupcase}{DW\-\_ID\-\_up\-\_case} means that the 
+producer of the debugging
 information for this compilation unit converted all source
 names to upper case. The values of the name attributes may not
 reflect the names as they appear in the source program. The
 debugger should convert all names to upper case when doing
 lookups.
 
-\livetarg{chap:DWIDdowncase}{DW\-\_ID\-\_down\-\_case} means that the producer of the debugging
+\livetarg{chap:DWIDdowncase}{DW\-\_ID\-\_down\-\_case} means that 
+the producer of the debugging
 information for this compilation unit converted all source
 names to lower case. The values of the name attributes may not
 reflect the names as they appear in the source program. The
@@ -254,6 +290,7 @@ using the UTF\dash 8 representation
 
 
 \item A \livelink{chap:DWATmainsubprogram}{DW\-\_AT\-\_main\-\_subprogram} attribute, which is a \livelink{chap:flag}{flag}
+\addtoindexx{main subprogram attribute}
 whose presence indicates 
 \hypertarget{chap:DWATmainsubprogramunitcontainingmainorstartingsubprogram}
 that the compilation unit contains a
@@ -261,7 +298,8 @@ subprogram that has been identified as the starting function
 of the program. If more than one compilation unit contains
 this \nolink{flag}, any one of them may contain the starting function.
 
-\textit{\addtoindex{Fortran} has a PROGRAM statement which is used
+\textit{\addtoindex{Fortran} has a \addtoindex{PROGRAM statement}
+which is used
 to specify and provide a user\dash specified name for the main
 subroutine of a program. 
 \addtoindex{C} uses the name “main” to identify
@@ -284,9 +322,13 @@ The
 \hypertarget{chap:DWATimportimportedunit}
 place where a normal or partial unit is imported is
 represented by a debugging information entry with the 
+\addtoindexx{imported unit entry}
 tag \livetarg{chap:DWTAGimportedunit}{DW\-\_TAG\-\_imported\-\_unit}. 
-An imported unit entry contains a
-\livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute whose value is a reference to the
+An imported unit entry contains 
+\addtoindexx{import attribute}
+a
+\livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute 
+whose value is a reference to the
 normal or partial compilation unit whose declarations logically
 belong at the place of the imported unit entry.
 
@@ -312,7 +354,10 @@ information entries that represent the definition of a single
 type, plus additional debugging information entries that may
 be necessary to include as part of the definition of the type.
 
-A type unit entry may have a \livelink{chap:DWATlanguage}{DW\-\_AT\-\_language} attribute, whose
+A type unit entry may have a 
+\livelink{chap:DWATlanguage}{DW\-\_AT\-\_language} attribute, 
+whose
+\addtoindexx{language attribute}
 constant value is an integer code indicating the source
 language used to define the type. The set of language names
 and their meanings are given in Figure \refersec{fig:languagenames}.
@@ -356,7 +401,9 @@ those entities.}
 \label{chap:moduleentries}
 \textit{Several languages have the concept of a ``module.''
 \addtoindexx{Modula-2}
-A Modula\dash 2 definition module may be represented by a module
+A Modula\dash 2 definition module 
+\addtoindexx{Modula-2!definition module}
+may be represented by a module
 entry containing a 
 \addtoindex{declaration attribute}
 (\livelink{chap:DWATdeclaration}{DW\-\_AT\-\_declaration}). A
@@ -373,11 +420,14 @@ Module entries may own other
 debugging information entries describing program entities
 whose declaration scopes end at the end of the module itself.
 
-If the module has a name, the module entry has a \livelink{chap:DWATname}{DW\-\_AT\-\_name}
-attribute whose value is a null\dash terminated string containing
+If the module has a name, the module entry has a 
+\livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute 
+\addtoindexx{name attribute}
+whose value is a null\dash terminated string containing
 the module name as it appears in the source program.
 
-The module entry may have either a \livelink{chap:DWATlowpc}{DW\-\_AT\-\_low\-\_pc} and
+The \addtoindex{module entry} may have either a 
+\livelink{chap:DWATlowpc}{DW\-\_AT\-\_low\-\_pc} and
 \livelink{chap:DWAThighpc}{DW\-\_AT\-\_high\-\_pc} 
 pair 
 \addtoindexx{high PC attribute}
@@ -400,8 +450,11 @@ the first executable instruction of that initialization code
 
 If 
 \hypertarget{chap:DWATprioritymodulepriority}
-the module has been assigned a priority, it may have a
-\livelink{chap:DWATpriority}{DW\-\_AT\-\_priority} attribute. The value of this attribute is a
+the module has been assigned a priority, it may have 
+\addtoindexx{priority attribute}
+a
+\livelink{chap:DWATpriority}{DW\-\_AT\-\_priority} attribute. 
+The value of this attribute is a
 reference to another debugging information entry describing
 a variable with a constant value. The value of this variable
 is the actual constant value of the module’s priority,
@@ -410,6 +463,7 @@ represented as it would be on the target architecture.
 \subsection{Namespace Entries}
 \label{chap:namespaceentries}
 \textit{\addtoindex{C++} has the notion of a namespace, which provides a way to
+\addtoindexx{namespace (C++)}
 implement name hiding, so that names of unrelated things
 do not accidentally clash in the 
 \addtoindex{global namespace} when an
@@ -433,11 +487,15 @@ entry. A namespace extension entry does not need to duplicate
 information in a previous extension entry of the namespace
 nor need it duplicate information in the original namespace
 entry. (Thus, for a namespace with a name, 
-a \livelink{chap:DWATname}{DW\-\_AT\-\_name}
-attribute need only be attached directly to the original
+a \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute 
+\addtoindexx{name attribute}
+need only be attached directly to the original
 \livelink{chap:DWTAGnamespace}{DW\-\_TAG\-\_namespace} entry.)
 
-Namespace and namespace extension entries may own other
+Namespace and namespace extension entries may own 
+\addtoindexx{namespace extension entry}
+other
+\addtoindexx{namespace declaration entry}
 debugging information entries describing program entities
 whose declarations occur in the namespace.
 
@@ -450,17 +508,23 @@ If a type, variable, or function declared in a namespace is
 defined outside of the body of the namespace declaration,
 that type, variable, or function definition entry has a
 \livelink{chap:DWATspecification}{DW\-\_AT\-\_specification} attribute 
+\addtoindexx{specification attribute}
 whose value is a reference to the
 debugging information entry representing the declaration of
 the type, variable or function. Type, variable, or function
-entries with a \livelink{chap:DWATspecification}{DW\-\_AT\-\_specification} attribute do not need
+entries with a 
+\livelink{chap:DWATspecification}{DW\-\_AT\-\_specification} attribute 
+\addtoindexx{specification attribute}
+do not need
 to duplicate information provided by the declaration entry
 referenced by the specification attribute.
 
 \textit{The \addtoindex{C++} \addtoindex{global namespace}
 (the 
 \addtoindexx{global namespace|see{namespace (C++), global}}
-namespace referred to by
+namespace 
+\addtoindexx{namespace (C++)!global}
+referred to by
 ``::f'', for example) is not explicitly represented in
 DWARF with a namespace entry (thus mirroring the situation
 in \addtoindex{C++} source).  
@@ -469,6 +533,7 @@ reference to a namespace.}
 
 \textit{The \addtoindex{C++} 
 compilation unit specific ``unnamed namespace'' may
+\addtoindexx{namespace (C++)!unnamed}
 be represented by a namespace entry with no name attribute in
 the original namespace declaration entry (and therefore no name
 attribute in any namespace extension entry of this namespace).
@@ -479,6 +544,7 @@ explicitly represent namespace extensions, or to represent the
 final namespace declaration of a compilation unit; this is a
 quality\dash of\dash implementation issue and no specific requirements
 are given here. If only the final namespace is represented,
+\addtoindexx{namespace (C++)!using declaration}
 it is impossible for a debugger to interpret using declaration
 references in exactly the manner defined by the 
 \addtoindex{C++} language.
@@ -489,7 +555,9 @@ compilation units can result in a significant increase in the
 size of the debug information and significant duplication of
 information across compilation units. 
 The \addtoindex{C++} namespace std,
-for example, is large and will probably be referenced in
+for example, 
+\addtoindexx{namespace (C++)!std}
+is large and will probably be referenced in
 every \addtoindex{C++} compilation unit.
 }
 
@@ -516,14 +584,18 @@ When
 \hypertarget{chap:DWATimportimporteddeclaration}
 an overloaded entity
 is imported, there is one imported declaration entry for
-each overloading. Each imported declaration entry has a
-\livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute, whose value is a reference to the
+each overloading. 
+\addtoindexx{import attribute}
+Each imported declaration entry has a
+\livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute,
+whose value is a reference to the
 debugging information entry representing the declaration that
 is being imported.
 
 An imported declaration may also have a 
 \livelink{chap:DWATname}{DW\-\_AT\-\_name}
 attribute
+\addtoindexx{name attribute}
 whose value is a null\dash terminated string containing the
 name, as it appears in the source program, by which the
 imported entity is to be known in the context of the imported
@@ -540,7 +612,9 @@ declaration or the imported entity occurs.
 
 \textit{A \addtoindex{C++} namespace alias may be represented by an imported
 \hypertarget{chap:DWATimportnamespacealias}
-declaration entry with a name attribute whose value is
+declaration entry 
+\addtoindexx{namespace (C++)!alias}
+with a name attribute whose value is
 a null\dash terminated string containing the alias name as it
 appears in the source program and an import attribute whose
 value is a reference to the applicable original namespace or
@@ -549,7 +623,9 @@ namespace extension entry.
 
 \textit{A \addtoindex{C++} using declaration may be represented by one or more
 \hypertarget{chap:DWATimportnamespaceusingdeclaration}
-imported declaration entries.  When the using declaration
+imported 
+\addtoindexx{namespace (C++)!using declaration}
+declaration entries.  When the using declaration
 refers to an overloaded function, there is one imported
 declaration entry corresponding to each overloading. Each
 imported declaration entry has no name attribute but it does
@@ -564,6 +640,7 @@ an imported entity, other than a namespace).
 with an ``only list'' may be
 represented by a series of imported declaration entries,
 one (or more) for each entity that is imported. An entity
+\addtoindexx{renamed declaration|see{imported declaration entry}}
 that is renamed in the importing context may be represented
 by an imported declaration entry with a name attribute that
 specifies the new local name.
@@ -578,10 +655,15 @@ within a separate module or namespace.
 }
 
 An imported module declaration is represented by a debugging
-information entry with the 
+information entry with 
+\addtoindexx{imported module attribute}
+the 
+\addtoindexx{imported module entry}
 tag \livetarg{chap:DWTAGimportedmodule}{DW\-\_TAG\-\_imported\-\_module}.
 An
-imported module entry contains a \livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute
+imported module entry contains a 
+\livelink{chap:DWATimport}{DW\-\_AT\-\_import} attribute
+\addtoindexx{import attribute}
 whose value is a reference to the module or namespace entry
 containing the definition and/or declaration entries for
 the entities that are to be imported into the context of the
@@ -596,7 +678,9 @@ renamed in this way is known in the context of the imported
 module entry by the same name as it is declared in the module.
 
 \textit{A \addtoindex{C++} using directive 
-may be represented by an imported module
+may be represented by an 
+\addtoindexx{namespace (C++)!using directive}
+imported module
 \hypertarget{chap:DWATimportnamespaceusingdirective}
 entry, with an import attribute referring to the namespace
 entry of the appropriate extension of the namespace (which
@@ -661,7 +745,9 @@ debugging information entries
 \addtoindexx{function entry|see{subroutine entry}}
 for 
 \addtoindexx{subroutine entry}
-subroutines and entry
+subroutines 
+\addtoindexx{subprogram entry}
+and entry
 % FIXME: is entry point entry the right index 'entry'?
 \addtoindexx{entry point entry}
 points:
@@ -669,7 +755,8 @@ points:
 \begin{tabular}{lp{9.0cm}}
 \livetarg{chap:DWTAGsubprogram}{DW\-\_TAG\-\_subprogram} & A subroutine or function. \\
 \livelink{chap:DWTAGinlinedsubroutine}{DW\-\_TAG\-\_inlined\-\_subroutine} & A particular inlined 
-  instance of a subroutine or function. \\
+\addtoindexx{inlined subprogram entry}
+instance of a subroutine or function. \\
 \livetarg{chap:DWTAGentrypoint}{DW\-\_TAG\-\_entry\-\_point} & An alternate entry point. \\
 \end{tabular}
 
@@ -680,6 +767,7 @@ It may also have a \livelink{chap:DWATlinkagename}{DW\-\_AT\-\_linkage\-\_name}
 described in Section \refersec{chap:linkagenames}.
 
 If the name of the subroutine described by an entry with the
+\addtoindex{subprogram entry}
 tag \livelink{chap:DWTAGsubprogram}{DW\-\_TAG\-\_subprogram}
 is visible outside of its containing
 \hypertarget{chap:DWATexternalexternalsubroutine}
@@ -696,15 +784,20 @@ Section \refersec{chap:memberfunctionentries}.
 
 A 
 \hypertarget{chap:DWATmainsubprogrammainorstartingsubprogram}
-subroutine entry may contain a \livelink{chap:DWATmainsubprogram}{DW\-\_AT\-\_main\-\_subprogram}
-attribute which is 
+subroutine entry 
+may contain a 
+\livelink{chap:DWATmainsubprogram}{DW\-\_AT\-\_main\-\_subprogram}
+attribute 
+\addtoindexx{main subprogram attribute}
+which is 
 a \livelink{chap:flag}{flag} whose presence indicates that the
 subroutine has been identified as the starting function of
 the program.  If more than one subprogram contains this 
 \nolink{flag},
 any one of them may be the starting subroutine of the program.
 
-\textit{\addtoindex{Fortran} has a PROGRAM statement which is used to specify
+\textit{\addtoindex{Fortran} has a \addtoindex{PROGRAM statement} 
+which is used to specify
 and provide a user\dash supplied name for the main subroutine of
 a program.
 }
@@ -765,7 +858,9 @@ those declared using non\dash prototype declarations.
 }
 
 A subroutine entry declared with a function prototype style
-declaration may have a 
+declaration may have 
+\addtoindexx{prototyped attribute}
+a 
 \livelink{chap:DWATprototyped}{DW\-\_AT\-\_prototyped} attribute, which is
 a \livelink{chap:flag}{flag}.
 
@@ -793,7 +888,9 @@ or property.
 
 A 
 \hypertarget{chap:DWATpurepurepropertyofasubroutine}
-subprogram entry may have a 
+subprogram entry may have 
+\addtoindexx{pure attrubyte}
+a 
 \livelink{chap:DWATpure}{DW\-\_AT\-\_pure} attribute, which is
 a \livelink{chap:flag}{flag}. 
 The attribute indicates whether the subroutine was
@@ -815,7 +912,9 @@ or property.
 
 If 
 \hypertarget{chap:DWATtypetypeofsubroutinereturn}
-the subroutine or entry point is a function that returns a
+the subroutine or entry point 
+\addtoindexx{return type of subroutine}
+is a function that returns a
 value, then its debugging information entry has a \livelink{chap:DWATtype}{DW\-\_AT\-\_type}
 attribute to denote the type returned by that function.
 
@@ -929,7 +1028,9 @@ for the common \nolink{block} being included
 
 A 
 \hypertarget{chap:DWATreturnaddrsubroutinereturnaddresssavelocation}
-subroutine or entry point entry may have a 
+subroutine or entry point entry may have 
+\addtoindexx{return address attribute}
+a 
 \livelink{chap:DWATreturnaddr}{DW\-\_AT\-\_return\-\_addr}
 attribute, whose value is a location description. The location
 calculated is the place where the return address for the
@@ -946,9 +1047,10 @@ subroutine or entry point. If the location description is
 a simple register location description, the given register
 contains the frame base address. If the location description is
 a DWARF expression, the result of evaluating that expression
-is the frame base address. Finally, for a location list,
+is the frame base address. Finally, for a 
+\addtoindex{location list},
 this interpretation applies to each location description
-contained in the list of location list entries.
+contained in the list of \addtoindex{location list} entries.
 
 \textit{The use of one of the \livelink{chap:DWOPreg}{DW\-\_OP\-\_reg}~\textless~n~\textgreater 
 operations in this
@@ -963,7 +1065,9 @@ procedure’s stack frame. The \livelink{chap:DWATframebase}{DW\-\_AT\-\_frame\-
 can be used in several ways:}
 
 \begin{enumerate}[1.]
-\item \textit{In procedures that need location lists to locate local
+\item \textit{In procedures that need 
+\addtoindexx{location list}
+location lists to locate local
 variables, the \livelink{chap:DWATframebase}{DW\-\_AT\-\_frame\-\_base} can hold the needed location
 list, while all variables’ location descriptions can be
 simpler ones involving the frame base.}
@@ -1043,7 +1147,9 @@ values of different types. DWARF does not represent the generic
 template definition, but does represent each instantiation.}
 
 A template instantiation is represented by a debugging
-information entry with the tag \livelink{chap:DWTAGsubprogram}{DW\-\_TAG\-\_subprogram}. With four
+information entry with the 
+\addtoindexx{subprogram entry!use for template instantiation}
+tag \livelink{chap:DWTAGsubprogram}{DW\-\_TAG\-\_subprogram}. With four
 exceptions, such an entry will contain the same attributes and
 will have the same types of child entries as would an entry
 for a subroutine defined explicitly using the instantiation
@@ -1055,7 +1161,9 @@ template definition is represented by a debugging information
 entry with the 
 tag \livetarg{chap:DWTAGtemplatetypeparameter}{DW\-\_TAG\-\_template\-\_type\-\_parameter}. 
 Each
-such entry has a \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute, whose value is a
+such entry has a \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute, 
+\addtoindexx{name attribute}
+whose value is a
 null\dash terminated string containing the name of the formal
 type parameter as it appears in the source program. The
 \addtoindexx{formal type parameter|see{template type parameter entry}}
@@ -1088,10 +1196,14 @@ A declaration or a definition of an inlinable subroutine
 is represented by a debugging information entry with the
 tag 
 \livelink{chap:DWTAGsubprogram}{DW\-\_TAG\-\_subprogram}.
-The entry for a subroutine that is
+The entry for a 
+\addtoindexx{subprogram entry!use in inlined subprogram}
+subroutine that is
 \hypertarget{chap:DWATinlineinlinedsubroutine}
 explicitly declared to be available for inline expansion or
-that was expanded inline implicitly by the compiler has a
+that was expanded inline implicitly by the compiler has 
+\addtoindexx{inline attribute}
+a
 \livelink{chap:DWATinline}{DW\-\_AT\-\_inline} attribute whose value is an integer constant. The
 set of values for the \livelink{chap:DWATinline}{DW\-\_AT\-\_inline} attribute is given in
 Figure \refersec{fig:inlinecodes}.
@@ -1129,7 +1241,9 @@ that contains the
 \addtoindexx{abstract instance!entry}
 as an ``abstract instance entry.'' 
 Any subroutine entry
-that contains a \livelink{chap:DWATinline}{DW\-\_AT\-\_inline} attribute whose value is other
+that contains 
+\addtoindexx{inline attribute}
+a \livelink{chap:DWATinline}{DW\-\_AT\-\_inline} attribute whose value is other
 than \livelink{chap:DWINLnotinlined}{DW\-\_INL\-\_not\-\_inlined}
 is known as 
 \addtoindexx{abstract instance!root}
@@ -1140,14 +1254,18 @@ instance root, together with the root itself, is known as
 \addtoindexx{abstract instance!tree}
 an ``abstract instance tree.'' However, in the case where
 an abstract instance tree is nested within another abstract
-instance tree, the entries in the nested abstract instance
+instance tree, the entries in the 
+\addtoindex{nested abstract instance}
 tree are not considered to be entries in the outer abstract
 instance tree.
 
 Each abstract instance root is either part of a larger
 \addtoindexx{abstract instance!root}
-tree (which gives a context for the root) or uses
-\livelink{chap:DWATspecification}{DW\-\_AT\-\_specification} to refer to the declaration in context.
+tree (which gives a context for the root) or 
+\addtoindexx{specification attribute}
+uses
+\livelink{chap:DWATspecification}{DW\-\_AT\-\_specification} 
+to refer to the declaration in context.
 
 \textit{For example, in \addtoindex{C++} the context might be a namespace
 declaration or a class declaration.}
@@ -1166,9 +1284,25 @@ the \livelink{chap:DWATlowpc}{DW\-\_AT\-\_low\-\_pc},
 \livelink{chap:DWATranges}{DW\-\_AT\-\_ranges}, 
 \livelink{chap:DWATentrypc}{DW\-\_AT\-\_entry\-\_pc}, 
 \livelink{chap:DWATlocation}{DW\-\_AT\-\_location},
-\livelink{chap:DWATreturnaddr}{DW\-\_AT\-\_return\-\_addr}, \livelink{chap:DWATstartscope}{DW\-\_AT\-\_start\-\_scope}, and 
-\livelink{chap:DWATsegment}{DW\-\_AT\-\_segment}
-attributes typically should be omitted; however, this list
+\livelink{chap:DWATreturnaddr}{DW\-\_AT\-\_return\-\_addr}, \livelink{chap:DWATstartscope}{DW\-\_AT\-\_start\-\_scope}, 
+and 
+\livelink{chap:DWATsegment}{DW\-\_AT\-\_segment!and abstract instance}
+attributes 
+\addtoindexx{location attribute!and abstract instance}
+typically 
+\addtoindexx{ranges attribute!and abstract instance}
+should 
+\addtoindexx{high PC attribute!and abstract instance}
+be 
+\addtoindexx{low PC attribute!and abstract instance}
+omitted; 
+\addtoindex{segment attribute!and abstract instance}
+however, 
+\addtoindexx{return address attribute!and abstract instance}
+this 
+\addtoindexx{segment attribute!and abstract instance}
+list
+\addtoindexx{start scope attribute!and abstract instance}
 is not exhaustive.
 
 \textit{It would not make sense normally to put these attributes into
@@ -1215,7 +1349,11 @@ generated for the inlined subroutine (see
 Section \refersec{chap:codeaddressesandranges}). 
 An
 \hypertarget{chap:DWATentrypcentryaddressofinlinedsubprogram}
-inlined subroutine entry may also contain 
+inlined subroutine entry may 
+\addtoindexx{inlined subprogram entry!in concrete instance}
+also 
+\addtoindexx{inlined subprogram entry}
+contain 
 \addtoindexx{entry pc attribute!for inlined subprogram}
 a 
 \livelink{chap:DWATentrypc}{DW\-\_AT\-\_entry\-\_pc}
@@ -1270,14 +1408,17 @@ Any debugging information entry that is owned (either
 directly or indirectly) by a debugging information entry
 with the tag \livelink{chap:DWTAGinlinedsubroutine}{DW\-\_TAG\-\_inlined\-\_subroutine} is referred to as a
 ``concrete inlined instance entry.'' Any entry that has
-the tag \livelink{chap:DWTAGinlinedsubroutine}{DW\-\_TAG\-\_inlined\-\_subroutine} 
-is known as a ``concrete inlined instance root.'' Any set of concrete inlined instance
+the tag 
+\livelink{chap:DWTAGinlinedsubroutine}{DW\-\_TAG\-\_inlined\-\_subroutine} 
+is known as a ``concrete inlined instance root.'' 
+Any set of concrete inlined instance
 entries that are all children (either directly or indirectly)
 of some concrete inlined instance root, together with the root
 itself, is known as a ``concrete inlined instance tree.''
 However, in the case where a concrete inlined instance tree
 is nested within another concrete instance tree, the entries
-in the nested concrete instance tree are not considered to
+in the \addtoindex{nested concrete inline instance} tree 
+are not considered to
 be entries in the outer concrete instance tree.
 
 \textit{Concrete inlined instance trees are defined so that no entry
@@ -1350,7 +1491,9 @@ the reference should refer to the abstract instance entry.
 
 \item Entries in the concrete instance tree which are associated
 with entries in the abstract instance tree such that neither
-has a \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute, and neither is referenced by
+has a \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute,
+\addtoindexx{name attribute}
+and neither is referenced by
 any other debugging information entry, may be omitted. This
 may happen for debugging information entries in the abstract
 instance trees that became unnecessary in the concrete instance
@@ -1461,7 +1604,10 @@ outer subroutine.
 always omitted within the abstract instance tree for an
 outer subroutine.
 
-\item The concrete instance tree for any inlined or out-of-line
+\item The concrete instance tree for any inlined or 
+\addtoindexx{out-of-line instance}
+out-of-line
+\addtoindexx{out-of-line-instance|see{concrete out-of-line-instance}}
 expansion of the nested subroutine is described within a
 concrete instance tree for the outer subroutine according
 to the rules in 
@@ -1505,7 +1651,8 @@ subprogram.
 the relocated address of the target subprogram.
 
 \item If the value is of class string, then the value is the
-(possibly mangled) name of the target subprogram.
+(possibly mangled) \addtoindexx{mangled names}
+name of the target subprogram.
 
 \item If the value is of class \livelink{chap:flag}{flag}, then the value true
 indicates that the containing subroutine is a trampoline but
@@ -1545,7 +1692,11 @@ which can be assumed to be the target subroutine. }
 \section{Lexical Block Entries}
 \label{chap:lexicalblockentries}
 
-\textit{A lexical \livetargi{chap:lexicalblock}{block}{lexical block} is a bracketed sequence of source statements
+\textit{A 
+lexical \livetargi{chap:lexicalblock}{block}{lexical block} 
+is 
+\addtoindexx{lexical block}
+a bracketed sequence of source statements
 that may contain any number of declarations. In some languages
 (including \addtoindex{C} and \addtoindex{C++}),
 \nolink{blocks} can be nested within other
@@ -1556,7 +1707,8 @@ A lexical \nolink{block} is represented by a debugging information
 entry with the 
 tag \livetarg{chap:DWTAGlexicalblock}{DW\-\_TAG\-\_lexical\-\_block}.
 
-The lexical \livetargi{chap:lexicalblockentry}{block}{lexical block entry} entry
+The lexical \livetargi{chap:lexicalblockentry}{block}{lexical block entry} 
+entry
 may have 
 either a \livelink{chap:DWATlowpc}{DW\-\_AT\-\_low\-\_pc} and
 \livelink{chap:DWAThighpc}{DW\-\_AT\-\_high\-\_pc} pair of 
@@ -1578,6 +1730,7 @@ in the source
 program, then the corresponding 
 lexical \livelink{chap:lexicalblockentry}{block} entry has a
 \livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute whose 
+\addtoindexx{name attribute}
 value is a null\dash terminated string
 containing the name of the lexical \livelink{chap:lexicalblock}{block} 
 as it appears in
@@ -1601,6 +1754,7 @@ statement is usually the target of one or more ``go to''
 statements.
 
 A label is represented by a debugging information entry with
+\addtoindexx{label entry}
 the 
 tag \livetarg{chap:DWTAGlabel}{DW\-\_TAG\-\_label}. 
 The entry for a label should be owned by
@@ -1611,8 +1765,10 @@ the source program.
 The label entry has a \livelink{chap:DWATlowpc}{DW\-\_AT\-\_low\-\_pc} attribute whose value
 is the relocated address of the first machine instruction
 generated for the statement identified by the label in
-the source program.  The label entry also has a \livelink{chap:DWATname}{DW\-\_AT\-\_name}
-attribute whose value is a null-terminated string containing
+the source program.  The label entry also has a 
+\livelink{chap:DWATname}{DW\-\_AT\-\_name} attribute 
+\addtoindexx{name attribute}
+whose value is a null-terminated string containing
 the name of the label as it appears in the source program.
 
 
@@ -1647,6 +1803,7 @@ for the with statement
 The with statement entry has a \livelink{chap:DWATtype}{DW\-\_AT\-\_type} attribute, denoting
 the type of record whose fields may be referenced without full
 qualification within the body of the statement. It also has
+\addtoindexx{location attribute}
 a \livelink{chap:DWATlocation}{DW\-\_AT\-\_location} attribute, describing how to find the base
 address of the record object referenced within the body of
 the with statement.