Codex table cleanup of UB table - #83
Merged
Merged
Conversation
Contributor
sei-jsible
requested changes
Jul 20, 2026
sei-jsible
requested changes
Jul 21, 2026
Comment on lines
-104
to
-106
| </p></td></tr><tr class="even"><td><div class="content-wrapper"><p>120 <a id="CC.UndefinedBehavior-ub_120"></a></p></div></td><td><p><br /> | ||
| </p></td><td><p>A pointer returned by the setlocale function is used after a subsequent call to the function, or after the calling thread has exited (7.11.1.1). | ||
| </p></td><td><p><a href="/sei-cert-c-coding-standard/rules/environment-env/env34-c">ENV34-C</a> |
Contributor
There was a problem hiding this comment.
UB 120 used to have a link to ENV34-C...
| | 117 <a id="CC.UndefinedBehavior-ub_117"></a> |  | The argument to `fesetenv` or `feupdateenv` is neither an object set by a call to `fegetenv` or `feholdexcept` , nor is it an environment macro (7.6.6.3, 7.6.6.4). | | | ||
| | 118 <a id="CC.UndefinedBehavior-ub_118"></a> |  | The value of the result of an integer arithmetic or conversion function cannot be represented (7.8.2.1, 7.8.2.2, 7.8.2.3, 7.8.2.4, 7.24.6.1, 7.24.6.2, 7.24.1). | [ERR07-C](/sei-cert-c-coding-standard/recommendations/error-handling-err/err07-c) | | ||
| | 119 <a id="CC.UndefinedBehavior-ub_119"></a> |  | The program modifies the string pointed to by the value returned by the `setlocale` function (7.11.1.1). | [ENV30-C](/sei-cert-c-coding-standard/rules/environment-env/env30-c) | | ||
| | 120 <a id="CC.UndefinedBehavior-ub_120"></a> | | A pointer returned by the setlocale function is used after a subsequent call to the function, or after the calling thread has exited (7.11.1.1). | | |
| | 139 <a id="CC.UndefinedBehavior-ub_139"></a> |  | The `va_start` or `va_copy` macro is invoked without a corresponding invocation of the `va_end` macro in the same function, or vice versa (7.16.1, 7.16.1.2, 7.16.1.3, 7.16.1.4). | | | ||
| | 140 <a id="CC.UndefinedBehavior-ub_140"></a> | | The `va_arg` macro is invoked when there is no actual next argument, or with a specified type that is not compatible with the promoted type of the actual next argument, with certain exceptions (7.16.1.1). | | | ||
| | 141 <a id="CC.UndefinedBehavior-ub_141"></a> |  | The type parameter to the `va_arg` macro is not such that a pointer to an object of that type can be obtained simply by postfixing a `*` (7.16.1.1). | | | ||
| | 142 <a id="CC.UndefinedBehavior-ub_142"></a> | | Using a null pointer constant in form of an integer expression as an argument to a . . . function and then interpreting it as a void* or char* (7.16.1.1). | | |
Contributor
There was a problem hiding this comment.
I think the asterisks in void* and char* need escaped so that they show up instead of enabling italics.
sei-jsible
approved these changes
Jul 21, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
One fix: UB 82 lost its text somehow; that is fixed.
Everything else is just formatting (converting HTML to Markdown)