File ‹attributes.c›

/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

int __attribute__ ((aligned (16))) u;
int v __attribute__ ((aligned (16)));

int f(int y)
{
  int __attribute__ ((aligned (16))) x = y * 2;
  return 3 + x;
}