Compile this and run it through valgrind 3.13.0

fpvalgrind.c

// gcc -o t2 t2.c  -mavx2
#include <stdio.h>
#include <string.h>
#include <stdbool.h>
#include <x86intrin.h>

 __attribute__((no_sanitize("memory")))
__attribute__ ((noinline))
bool hash_zero_byte(char *va) {
  __m256i v = _mm256_loadu_si256((__m256i *) va);
  __m256i vz = _mm256_cmpeq_epi8(v,_mm256_setzero_si256());
  return ! _mm256_testz_si256(vz,vz);
}

int main() {
  char buffer[32];
  buffer[0] = 'a';
  buffer[1] = '\0';
  printf("%s\n", buffer);
  printf("has zero %d \n", hash_zero_byte(buffer));
}