[thotypous]

A declared pointer copied into an integer frame member can print as frame[0] = value;, which Clang rejects. On x86-64 Linux, run from the repository root:

cat > /var/tmp/slot.c <<'C'
#include <stdint.h>
__attribute__((naked)) unsigned emit(unsigned char *value) {
 __asm__("sub $24,%rsp;mov %rdi,%rax;mov %rax,(%rsp);mov %rsp,%rdi;call consume;add $24,%rsp;ret");
}
__attribute__((aligned(32))) unsigned consume(void *p) {
 uintptr_t v;__builtin_memcpy(&v,p,sizeof(v));return *(unsigned char*)v;
}
C
clang -O2 -shared -fPIC -nostdlib -fcf-protection=none \
  -Wl,-Bsymbolic,--section-start,.text=0x1000 /var/tmp/slot.c -o /var/tmp/slot.so
decompiler/target/release/decomp_dbg -s specs <<'COMMANDS'
load file /var/tmp/slot.so
read symbols
option ctypes on
map prototype 0x1000 unsigned int emit(unsigned char *value)
map prototype 0x1020 unsigned int consume(void *slot)
load addr 0x1000
map address s0xffffffffffffffe8 unsigned long frame[2]
type varnode %RAX(0x1004) unsigned char *address
decompile
print C
quit
COMMANDS

• Use the destination's rendered member type when an asserted pointer is copied into same-width integer storage.
• Emit frame[0] = (unsigned long)value;; preserve numeric conversions, nocasts, and other output languages.

Six focused Clang PE32/ELF64 array/record cases pass, including stackviews on/off and O0/O2 recompilation. ELF64 cases each compare 4,096 native/recompiled calls per optimization. The three ELF cases fail before the fix. make check-spec passes; full suites are left to CI.

[mahaloz]

[AUTOMATED] Pushed three commits on top of this branch:

• 5af3324ff: the sample in pointer_slot_casts.rs uses __UINTPTR_TYPE__ rather than <stdint.h>. On a host whose clang has no MinGW headers, the PE32 cases were failing before kuna ran at all.
• f1d15187f: a pointer addition or member address assigned to integer storage still printed without a cast (frame[0] = &value[1];, which gcc 15 rejects). PTRADD/PTRSUB statements now get the same cast. A copied variable that is itself declared as an integer no longer gets a redundant cast (cout = (unsigned long)cstart;). A copied null pointer now prints as 0 rather than (long)NULL. Two derived-pointer round-trip cases are added, and the spec paragraph is updated.
• 6ef62a525: merged origin/main (resolved the tests/integration.rs module list).

[mahaloz]

[AUTOMATED] Pushed c009e52 (plus a merge of origin/main, 8863f8f, which resolves the kuna-cli/tests/integration.rs module list).

The f1d1518 skip of the cast for a source variable declared as a non-pointer also dropped it for a source declared as a record. Such a source prints as the pointer member it reads, so long load(W w) { long x = (long)w.p; ... } (with W = struct { unsigned char *p; }, gcc -O2 -g) printed x = w.p;, which gcc 15 rejects. The cast is now skipped only for a source declared as an integer of the same width. The commit adds pointer_slot_casts::record_declared_source_keeps_cast. On the 99-binary corpus, the output is byte-identical to the previous head.