Home | History | Annotate | Download | only in out

Lines Matching full:verified

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