// RUN: clang -o - -emit-llvm -S -O1 %s 2>&1 | FileCheck %s

#include <string.h>

#include "assert.h"

#define TOO_BIG 512

void __attribute__((noinline)) do_memcpy(void *dst, const void *src) {
  // CHECK: call {{.+}} @llvm.memcpy
  memcpy(dst, src, TOO_BIG);
}

int main() {
  char c;
  char *a[32];
  for (int i = 0; i < 32; i++) {
    a[i] = &c;
  }
  char *b;
  do_memcpy(&b, &a);
  // CHECK: call {{.+}} @assert
  assert_points_to_nothing(b);
  return 0;
}