// Definitions of Kiwi are not compatible - they have different vector sizes
struct Kiwi {
  int __attribute__ ((vector_size (16))) kiwi_x;
};

// Definitions of Lemon are not compatible - the vectors have different base types
struct Lemon {
  unsigned int __attribute__ ((vector_size (16))) lemon_x;
};
// semmle-extractor-options: --edg --c99 --edg --clang --edg --clang_vector_types --gnu_version 40700