{attribute 'do-analysis [...] Val3: POINTER TO DWORD; hugo

; END_VAR IF INT_TO [...] Cond2) = 12 DO // SA0095 x

; FOR i := 0 TO 5 DO [...] : POINTER TO INT; y : INT