// RUN: %llvmgcc %s -S
// PR4332
static int highly_aligned __attribute__((aligned(4096)));
int f() {
return highly_aligned;
}