diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-17 15:22:23 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-17 15:22:23 +0000 |
| commit | 4bcf730d97de848b5d87671bf04beaf78905649b (patch) | |
| tree | 60e729eadb1d03e574744b855efe984780b7e142 /AGENTS/PITFALLS.md | |
| parent | f7f5df01c416a10e3eb9508a7a7150c792a8b4ca (diff) | |
docs: describe EXTERN redeclaration and verified lli runs
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'AGENTS/PITFALLS.md')
| -rw-r--r-- | AGENTS/PITFALLS.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/AGENTS/PITFALLS.md b/AGENTS/PITFALLS.md index 551a64c..e7047cf 100644 --- a/AGENTS/PITFALLS.md +++ b/AGENTS/PITFALLS.md @@ -151,7 +151,8 @@ test programs. The driver checks every EXTERN symbol against INCLUDE_OBJ inputs before CodeGen; `"__libc"` must be included explicitly even though the runtime always links libc. Only `.o` user objects; INCLUDE_OBJ is global across inputs. `-S` does not link them. - Two EXTERNs differing only in case conflict (pseudocode names are case insensitive). + Identical EXTERN redeclarations (same or other files, CIdentity-equal types) are allowed; + differing ones fail. Two EXTERNs differing only in case conflict (pseudocode names are case insensitive). ## Not implemented (9618 features) |