[Bug tree-optimization/91191] vrp and boolean arguments

[law at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191

--- Comment #9 from Jeffrey A. Law <law at redhat dot com> ---
Yea, I think so -- which would be undefined because the sizes are different
according to the docs you referenced.  Which would also invalidate part of my
responses in c#5 and c#7.

It sounds like something ought to be checking the constraint that the input and
output must have the same size.