From 87c0b063cb345ab31854f594913b81a8c4b72498 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 17 Jul 2022 15:06:44 +0200
Subject: [PATCH] gnu.cfg: Added support for error_at_line()

---
 cfg/gnu.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 37652b565..86fd85955 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -1587,7 +1587,8 @@
   </function>
   <!-- https://man7.org/linux/man-pages/man3/error.3.html -->
   <!-- void error(int status, int errnum, const char *format, ...); -->
-  <function name="error">
+  <!-- void error_at_line(int status, int errnum, const char *filename, unsigned int linenum, const char *format, ...); -->
+  <function name="error,error_at_line">
     <noreturn>true</noreturn>
     <leak-ignore/>
     <returnValue type="void"/>