gnu.cfg: Added support for error_at_line()

2022-07-17 15:06:44 +02:00 · 2022-07-17 15:06:44 +02:00 · 87c0b063cb
parent 4de443957c
commit 87c0b063cb
1 changed files with 2 additions and 1 deletions
--- 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"/>