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