diff options
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 183af347..0d24691f 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -274,7 +274,8 @@ let attributes = [ ("aligned", Cutil.Attr_type); (* struct-related *) ("packed", Cutil.Attr_struct); - (* function-related (currently none) *) + (* function-related *) + ("noreturn", Cutil.Attr_function); (* name-related *) ("section", Cutil.Attr_name) ] |