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 |