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 |