Skip to content

Commit

Permalink
std.cfg: added EXIT_SUCCESS and EXIT_FAILURE (#6223)
Browse files Browse the repository at this point in the history
Although the values are implementation dependent and thus not
documented, they reflect the common values of 0 and positive non-0 for
success/failure. For the analysis it is also not important that these
are correct but that they are being consistent across the code.

https://en.cppreference.com/w/cpp/utility/program/EXIT_status
  • Loading branch information
firewave authored Apr 3, 2024
1 parent d5e58ff commit f94a60d
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions cfg/std.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -1271,6 +1271,8 @@
<not-uninit/>
</arg>
</function>
<define name="EXIT_SUCCESS" value="0"/>
<define name="EXIT_FAILURE" value="1"/>
<!-- double erf(double x); -->
<function name="erf,std::erf">
<use-retval/>
Expand Down

0 comments on commit f94a60d

Please sign in to comment.