From 3b77583e95236761d8741fd6df375975a8ca5d83 Mon Sep 17 00:00:00 2001 From: Johannes Doerfert Date: Thu, 27 Jun 2019 15:51:40 +0000 Subject: [Attr] Add "willreturn" function attribute This patch introduces a new function attribute, willreturn, to indicate that a call of this function will either exhibit undefined behavior or comes back and continues execution at a point in the existing call stack that includes the current invocation. This attribute guarantees that the function does not have any endless loops, endless recursion, or terminating functions like abort or exit. Patch by Hideto Ueno (@uenoku) Reviewers: jdoerfert Subscribers: mehdi_amini, hiraditya, steven_wu, dexonsmith, lebedev.ri, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D62801 llvm-svn: 364555 --- llvm/lib/AsmParser/LLToken.h | 1 + 1 file changed, 1 insertion(+) (limited to 'llvm/lib/AsmParser/LLToken.h') diff --git a/llvm/lib/AsmParser/LLToken.h b/llvm/lib/AsmParser/LLToken.h index a1e70932178..f276a39037f 100644 --- a/llvm/lib/AsmParser/LLToken.h +++ b/llvm/lib/AsmParser/LLToken.h @@ -225,6 +225,7 @@ enum Kind { kw_swifterror, kw_swiftself, kw_uwtable, + kw_willreturn, kw_writeonly, kw_zeroext, kw_immarg, -- cgit v1.2.3