Verifier: Check frame-pointer attribute values
authorMatt Arsenault <Matthew.Arsenault@amd.com>
Tue, 10 Dec 2019 11:12:48 +0000 (16:42 +0530)
committerMatt Arsenault <arsenm2@gmail.com>
Wed, 11 Dec 2019 14:23:49 +0000 (19:53 +0530)
commit49d731b5e0ec643ed47dc49c4cffcf974e5af5ad
tree3b67e65a9e51c27cb438e0f06ba600affb1df0f3
parent855d21a03ae841b7c6c980e92f67bd5b65287fa6
Verifier: Check frame-pointer attribute values

There are a few places that check specific string attributes have
particular values, and assert if they are something else. The verifier
should catch these kinds of cases.
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/invalid-frame-pointer-attr-empty.ll [new file with mode: 0644]
llvm/test/Verifier/invalid-frame-pointer-attr-no-value.ll [new file with mode: 0644]
llvm/test/Verifier/invalid-frame-pointer-attr.ll [new file with mode: 0644]