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