DITMU4 ;SFISC/EDE(OHPRD)-FIX ALL "PT" NODES ;
Source file <DITMU4.m>
| Name | Comments | DBIA/ICR reference | 
|---|---|---|
| CHKIT | ; | |
| PTRCHK | ; | |
| FPOS | ; CHECK FOR FALSE POSITIVES | |
| FNEG | ; CHECK FOR FALSE NEGATIVES | |
| START | ; | |
| PTRCHK2 | ; VARIABLE POINTER CHECK | 
| Name | Line Occurrences | 
|---|---|
| Function Call: WRITE | 
 | 
| Name | Line Occurrences (* Changed, ! Killed) | 
|---|---|
| ^DD( | START+4, FPOS+1, CHKIT+2!, CHKIT+3!, CHKIT+4, CHKIT+6, CHKIT+7!, FNEG+1, PTRCHK+11, PTRCHK+12 , PTRCHK2+1 | 
| ^DIC - [#1] | PTRCHK+10 | 
| Name | Line Occurrences | 
|---|---|
| CHKIT | FPOS+1 | 
| FNEG | START+6 | 
| FPOS | START+4 | 
| PTRCHK | FNEG+1 | 
| PTRCHK2 | PTRCHK+2 | 
| Name | Field # of Occurrence | 
|---|---|
| ^( | FNEG+1, PTRCHK+12*, PTRCHK2+1* | 
| ^(0 | PTRCHK+1 | 
| >> | Not killed explicitly | 
| * | Changed | 
| ! | Killed | 
| ~ | Newed | 
| Name | Field # of Occurrence | 
|---|---|
| >> DITMU4("NOTALK" | START+1, START+2, START+4, START+5, START+8, CHKIT+1, CHKIT+2, CHKIT+3, CHKIT+7, FNEG+1 , PTRCHK+9, PTRCHK2+1 | 
| DITMU4FD | FNEG+1*, FNEG+2!, PTRCHK+12, PTRCHK2+1 | 
| DITMU4FI | START+4*, START+7!, FPOS+1, CHKIT+2, CHKIT+3, CHKIT+5, CHKIT+6, CHKIT+7, FNEG+1*, FNEG+2! , PTRCHK+12, PTRCHK2+1 | 
| DITMU4I | FNEG+2!, PTRCHK+4*, PTRCHK+5, PTRCHK+6 | 
| DITMU4L | START+4*, START+7!, FPOS+1*, FNEG+1*, PTRCHK2+1* | 
| DITMU4PD | FPOS+1*, FPOS+2!, CHKIT+3, CHKIT+4, CHKIT+6, CHKIT+7 | 
| DITMU4PF | FPOS+1*, FPOS+2!, CHKIT+2, CHKIT+3, CHKIT+4, CHKIT+6, CHKIT+7 | 
| DITMU4X | FPOS+2!, CHKIT+4*, CHKIT+5, CHKIT+6, FNEG+2!, PTRCHK+1*, PTRCHK+2, PTRCHK+3, PTRCHK+4, PTRCHK+5 , PTRCHK+6*, PTRCHK+7, PTRCHK+8, PTRCHK+10, PTRCHK+11, PTRCHK+12, PTRCHK2+1* | 
| U | START+3*, CHKIT+4, PTRCHK+1 |