Source position: pasresolver.pp line 2464
public procedure TPasResolver.MarkOverflowChecked(
El: TPasElement
);