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