llvm/clang/test/CodeGen/vla-4.c

// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s

int f(void);
int h(void);

void t1(void) {
  _Atomic(typeof((int (*)[f()]) h())) v;
  // CHECK:      [[N:%.*]] = alloca ptr, align 4
  // CHECK-NEXT: [[P:%.*]] = call i32 @f
  // CHECK-NEXT: [[P:%.*]] = call i32 @h
}

void t2(void) {
  typeof(typeof((int (*)[f()]) h())) v;
  // CHECK:      [[N:%.*]] = alloca ptr, align 4
  // CHECK-NEXT: [[P:%.*]] = call i32 @f
  // CHECK-NEXT: [[P:%.*]] = call i32 @h
}

void t3(typeof((int (*)[f()]) h()) v) {
  // CHECK:      store ptr %v, ptr %{{[.0-9A-Za-z]+}}, align 4
  // CHECK-NEXT: [[P:%.*]] = call i32 @f
  // CHECK-NEXT: [[P:%.*]] = call i32 @h
}