bug#46847: 28.0.50; [native-comp] assume pseudo-insns should be verified

[Eli Zaretskii]

> From: Andrea Corallo <acorallo@gnu.org>
> Cc: 46847@debbugs.gnu.org,  pipcet@gmail.com
> Date: Wed, 20 Mar 2024 09:58:53 -0400
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Thanks, but would it be possible to document the suggested use of this
> > sanitizer in the comments somewhere?
> 
> Hi Eli,
> 
> that's a good point.
> 
> There are many usage scenarios, I just added a simple example at the
> beginning of the 'Sanitizer pass specific code' section.

Thanks!