From 4bcf730d97de848b5d87671bf04beaf78905649b Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 15:22:23 +0000 Subject: docs: describe EXTERN redeclaration and verified lli runs Co-Authored-By: Claude Opus 5.5 --- AGENTS/PITFALLS.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'AGENTS/PITFALLS.md') 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) -- cgit v1.3.1-4-g156e