Merge pull request #7947 from tautschnig/bugfixes/vector-constant

C front-end: support vector expressions as compile-time constants

Author: kroening

regression/ansi-c/MMX2/main.c

@@ -7,6 +7,7 @@ int main()
   int  nonsense1;
 #ifdef __MMX__
   __m128i qq = {0};
+  __m128 f = {1.0f, 1.0f, 1.0f, 1.0f};
 #endif
   return (0);
 }

src/ansi-c/c_typecheck_expr.cpp

@@ -4568,7 +4568,7 @@ class is_compile_time_constantt
       e.id() == ID_le || e.id() == ID_gt || e.id() == ID_ge ||
       e.id() == ID_if || e.id() == ID_not || e.id() == ID_and ||
       e.id() == ID_or || e.id() == ID_bitnot || e.id() == ID_bitand ||
-      e.id() == ID_bitor || e.id() == ID_bitxor)
+      e.id() == ID_bitor || e.id() == ID_bitxor || e.id() == ID_vector)
     {
       return std::all_of(
         e.operands().begin(), e.operands().end(), [this](const exprt &op) {