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