projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f99f3f4) | patch
Add better verification of attributes on function types. It is not permitted
authorReid Spencer <rspencer@reidspencer.com>
Mon, 23 Jul 2007 23:09:55 +0000 (23:09 +0000)
committerReid Spencer <rspencer@reidspencer.com>
Mon, 23 Jul 2007 23:09:55 +0000 (23:09 +0000)
commit552d6405bf568da4ab5be88cfc4723b6e4e301d8
tree6f181fdf00803f61c3a4eae57efee264bf528182tree | snapshot
parentf99f3f4944bb8973899bffc52040c19bb31b6119commit | diff
Add better verification of attributes on function types. It is not permitted
to use sret or inreg on the function. It is equally illegal to use noreturn
or nounwind on a parameter; they only go with the function. This patch
enforces these rules.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40453 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors