Home | History | Annotate | Download | only in out

Lines Matching full:verified

3573 #if 0   /* impossible in optimized + verified code */