This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/70438] result type of vector operations
- From: "glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 29 Mar 2016 17:27:13 +0000
- Subject: [Bug c++/70438] result type of vector operations
- Auto-submitted: auto-generated
- References: <bug-70438-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70438
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
The result of a comparison is an "opaque" vector type, which can be converted
much more freely than a regular vector type, in case the guessed return type
doesn't exactly match the user's choice (it quickly decays to a regular vector
type). So this is kind of done on purpose. It could make sense to restrict this
a bit though. If you have some good rules to suggest... I don't know how much
user code relies on it.