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