Support immediate binding option

[DrXiao]

Since the immediate binding has already been implemented for the x86-64 and AArch64 architectures, the proposed changes extend its use by introducing a new "-z" command-line option, allowing the Arm32 and RV32 targets to also generate dynamically linked executables with immediate binding.

For the two 64-bit targets, immediate binding is always used under the dynamic linking mode as is.

The update usage:

# Support the "-z" option
$ qemu-arm -L /usr/arm-linux-gnueabihf/ out/shecc-stage2.elf
Usage: shecc [-o output] [+m] [--dot] [--dump-ir] [--no-libc] [--dynlink] [-z <lazy | now>] [-E] <input.c>
[Error]: Missing source file

# The build system can use the new 'BINDING' variable to determine whether to use immediate binding.
$ make ARCH=arm DYNLINK=1 BINDING=now

TODO:

• Update the GitHub Actions workflow to validate builds when using immediate binding.

---

Summary by cubic

Adds a -z option to control dynamic binding: lazy (default) or now (immediate). It replaces the hardcoded immediate binding on x86-64 and AArch64 and lets Arm32 and RV32 dynamically linked executables use immediate binding.

• The Makefile gains a BINDING variable, so builds can pass -z now via make DYNLINK=1 BINDING=now; the ABI and driver tests now take the binding to cover both modes.
• x86-64 and AArch64 still force now in dynamic mode, so -z lazy is ignored there.

^{Written for commit 3c3998d. Summary will update on new commits.}

[cubic-dev-ai]

All reported issues were addressed across 7 files

<sub>Reply with feedback, questions, or to request a fix.

Re-trigger cubic</sub>

[cubic-dev-ai]

2 issues found across 7 files (changes from recent commits).

Prompt for AI agents (unresolved issues)

Check if these issues are valid — if so, understand the root cause of each and fix them. If appropriate, use sub-agents to investigate and fix each issue separately.


<file name="tests/riscv-abi.sh">

<violation number="1" location="tests/riscv-abi.sh:149">
P2: An unvalidated `binding` argument is inserted into a command string executed by `eval`, so invoking this test script with a crafted third argument executes arbitrary shell commands. Validate the value against `lazy|now` or shell-escape it before constructing the command.</violation>
</file>

<file name="tests/arm-abi.sh">

<violation number="1" location="tests/arm-abi.sh:149">
P2: When the binding argument contains shell syntax, this line inserts it into an `eval` string, so the ABI test executes it as a separate command. Escape the value or execute the compiler through an argv array.</violation>
</file>

<sub>Reply with feedback, questions, or to request a fix.

Re-trigger cubic</sub>

[cubic-dev-ai]

P2: An unvalidated binding argument is inserted into a command string executed by eval, so invoking this test script with a crafted third argument executes arbitrary shell commands. Validate the value against lazy|now or shell-escape it before constructing the command.

Prompt for AI agents

Check if this issue is valid — if so, understand the root cause and fix it. At tests/riscv-abi.sh, line 149:

<comment>An unvalidated `binding` argument is inserted into a command string executed by `eval`, so invoking this test script with a crafted third argument executes arbitrary shell commands. Validate the value against `lazy|now` or shell-escape it before constructing the command.</comment>

<file context>
@@ -144,7 +146,7 @@ run_abi_test()
     local compile_cmd="$SHECC"
     if [[ "$DYNLINK" == "1" ]]; then
-        compile_cmd="$compile_cmd --dynlink"
+        compile_cmd="$compile_cmd --dynlink -z $BINDING"
     fi
     compile_cmd="$compile_cmd -o /tmp/shecc_abi_test_$$.elf $test_file"
</file context>

Suggested change

	compile_cmd="$compile_cmd --dynlink -z $BINDING"
	compile_cmd="$compile_cmd --dynlink -z $(printf '%q' "$BINDING")"

[cubic-dev-ai]

P2: When the binding argument contains shell syntax, this line inserts it into an eval string, so the ABI test executes it as a separate command. Escape the value or execute the compiler through an argv array.

Prompt for AI agents

Check if this issue is valid — if so, understand the root cause and fix it. At tests/arm-abi.sh, line 149:

<comment>When the binding argument contains shell syntax, this line inserts it into an `eval` string, so the ABI test executes it as a separate command. Escape the value or execute the compiler through an argv array.</comment>

<file context>
@@ -144,7 +146,7 @@ run_abi_test()
     local compile_cmd="$SHECC"
     if [[ "$DYNLINK" == "1" ]]; then
-        compile_cmd="$compile_cmd --dynlink"
+        compile_cmd="$compile_cmd --dynlink -z $BINDING"
     fi
     compile_cmd="$compile_cmd -o /tmp/shecc_abi_test_$$.elf $test_file"
</file context>

Suggested change

	compile_cmd="$compile_cmd --dynlink -z $BINDING"
	compile_cmd="$compile_cmd --dynlink -z $(printf '%q' "$BINDING")"

[jserv]

Rebase latest master branch and resolve conflicts.