validation/attr_aligned.c - pub/scm/devel/sparse/sparse - Git at Google

 void *foo(void) __attribute__((__assume_aligned__(4096)));
 void *foo(void) __attribute__((assume_aligned(4096)));
 /*
  * check-name: attribute assume_aligned
  */
	void *foo(void) __attribute__((__assume_aligned__(4096)));
	void *foo(void) __attribute__((assume_aligned(4096)));
	/*
	* check-name: attribute assume_aligned
	*/