[Sema] Sanity-check alignment requested via `__attribute__((assume_aligned(imm)))`
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 23 Jan 2020 19:48:57 +0000 (22:48 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 23 Jan 2020 19:50:48 +0000 (22:50 +0300)
commita4cfb15d15a8a353fe316f2a9fe1c8c6a6740ef1
tree94635ffd6d81ebadd190d7ee4a04fa613c052ce6
parent9ad044a38c0041b6413e5cfd0ae8dfb03f9b9f91
[Sema] Sanity-check alignment requested via `__attribute__((assume_aligned(imm)))`

Summary:
For `__builtin_assume_aligned()`, we do validate that the alignment
is not greater than `536870912` (D68824), but we don't do that for
`__attribute__((assume_aligned(N)))` attribute.
I suspect we should.

Reviewers: erichkeane, aaron.ballman, hfinkel, rsmith, jdoerfert

Reviewed By: erichkeane

Subscribers: cfe-commits, llvm-commits

Tags: #llvm, #clang

Differential Revision: https://reviews.llvm.org/D72994
clang/lib/Sema/SemaDeclAttr.cpp
clang/test/Sema/builtin-assume-aligned.c