diff options
| author | ruki <[email protected]> | 2026-04-03 22:27:58 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-04-03 22:27:58 +0800 |
| commit | 4ebfd2f067bffbfe838736ce5aa82df6308057e4 (patch) | |
| tree | 0430876737ba55cd60415bcf836ed3fc0fff2d50 | |
| parent | 39fd35ea9d5d14079e4669b85423d488c9097cd4 (diff) | |
| parent | 6e2a9173275b468c842687641247679c5f60af75 (diff) | |
Merge pull request #7446 from luadebug/compiler
Fil-C add toolchain
| -rw-r--r-- | README.md | 1 | ||||
| -rw-r--r-- | README_zh.md | 1 | ||||
| -rw-r--r-- | tests/projects/c/filc/safety_test/src/main.c | 17 | ||||
| -rw-r--r-- | tests/projects/c/filc/safety_test/test.lua | 52 | ||||
| -rw-r--r-- | tests/projects/c/filc/safety_test/xmake.lua | 9 | ||||
| -rw-r--r-- | xmake/modules/core/tools/filcc.lua | 21 | ||||
| -rw-r--r-- | xmake/modules/core/tools/filxx.lua | 21 | ||||
| -rw-r--r-- | xmake/modules/detect/tools/find_filcc.lua | 41 | ||||
| -rw-r--r-- | xmake/modules/detect/tools/find_filxx.lua | 41 | ||||
| -rw-r--r-- | xmake/toolchains/filc/xmake.lua | 100 |
10 files changed, 304 insertions, 0 deletions
@@ -246,6 +246,7 @@ ti-c2000 TI-CGT C2000 compiler ti-c6000 TI-CGT C6000 compiler iararm IAR ARM C/C++ Compiler kotlin-native Kotlin Native Programming Language Compiler +filc A memory safe implementation of the C and C++ programming languages (https://fil-c.org/) ``` ## Supported languages diff --git a/README_zh.md b/README_zh.md index c6618920d..b48c4d630 100644 --- a/README_zh.md +++ b/README_zh.md @@ -307,6 +307,7 @@ ti-c2000 TI-CGT C2000 compiler ti-c6000 TI-CGT C6000 compiler iararm IAR ARM C/C++ Compiler kotlin-native Kotlin Native Programming Language Compiler +filc A memory safe implementation of the C and C++ programming languages (https://fil-c.org/) ``` ## 支持语言 diff --git a/tests/projects/c/filc/safety_test/src/main.c b/tests/projects/c/filc/safety_test/src/main.c new file mode 100644 index 000000000..d23718c3e --- /dev/null +++ b/tests/projects/c/filc/safety_test/src/main.c @@ -0,0 +1,17 @@ +/* Test that filc catches calling a function pointer with a wrong address. + * + * Expected runtime output (exit non-zero): + * filc safety error: cannot access pointer as function with ptr != aux ... + * filc panic: thwarted a futile attempt to violate memory safety. + */ +#include <stdfil.h> +#include <stdlib.h> + +static void foo(void) { +} + +int main() { + void (*my_foo)(void) = (void(*)(void))((char*)foo + 42); + my_foo(); + return 0; +} diff --git a/tests/projects/c/filc/safety_test/test.lua b/tests/projects/c/filc/safety_test/test.lua new file mode 100644 index 000000000..2a372b3cd --- /dev/null +++ b/tests/projects/c/filc/safety_test/test.lua @@ -0,0 +1,52 @@ +import("utils.ci.is_running", {alias = "ci_is_running"}) + +function main(t) + -- filc only supports Linux x86_64 + if os.host() ~= "linux" or os.arch() ~= "x86_64" then + return t:skip("filc is only supported on linux/x86_64") + end + + local flags = ci_is_running() and "-vD" or "" + + -- configure and install the filc package; skip if unavailable + local configured = try + { + function () + os.exec("xmake f -c -y " .. flags) + return true + end, + catch { function () end } + } + if not configured then + return t:skip("filc package not available or install failed") + end + + os.exec("xmake -r " .. flags) + + -- find the compiled binary + local binfile = path.join("build", os.host(), os.arch(), "release", "safety_test") + assert(os.isfile(binfile), "binary not found: " .. binfile) + + -- run the binary — it MUST exit non-zero and emit a filc safety error + -- os.iorunv raises on non-zero exit in the sandbox, so catch the failure + local filc_output = nil + try + { + function () + os.iorunv(binfile, {}) + end, + catch + { + function (errors) + filc_output = tostring(errors) + end + } + } + assert(filc_output, "expected safety_test to exit non-zero, but it succeeded") + assert(filc_output:find("filc safety error", 1, true), + "expected 'filc safety error' in output, got:\n" .. filc_output) + assert(filc_output:find("filc panic", 1, true), + "expected 'filc panic' in output, got:\n" .. filc_output) + + cprint("${green}filc safety check triggered as expected${reset}") +end diff --git a/tests/projects/c/filc/safety_test/xmake.lua b/tests/projects/c/filc/safety_test/xmake.lua new file mode 100644 index 000000000..4ebbf9792 --- /dev/null +++ b/tests/projects/c/filc/safety_test/xmake.lua @@ -0,0 +1,9 @@ +add_rules("mode.debug", "mode.release") + +add_requires("filc") + +target("safety_test") + set_kind("binary") + set_toolchains("@filc") + add_packages("filc") + add_files("src/*.c") diff --git a/xmake/modules/core/tools/filcc.lua b/xmake/modules/core/tools/filcc.lua new file mode 100644 index 000000000..28aefc34a --- /dev/null +++ b/xmake/modules/core/tools/filcc.lua @@ -0,0 +1,21 @@ +--!A cross-platform build utility based on Lua +-- +-- Licensed under the Apache License, Version 2.0 (the "License"); +-- you may not use this file except in compliance with the License. +-- You may obtain a copy of the License at +-- +-- http://www.apache.org/licenses/LICENSE-2.0 +-- +-- Unless required by applicable law or agreed to in writing, software +-- distributed under the License is distributed on an "AS IS" BASIS, +-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +-- See the License for the specific language governing permissions and +-- limitations under the License. +-- +-- Copyright (C) 2015-present, Xmake Open Source Community. +-- +-- @file filcc.lua +-- + +-- filcc is Fil-C's clang-based C compiler - inherit clang driver behaviour +inherit("clang") diff --git a/xmake/modules/core/tools/filxx.lua b/xmake/modules/core/tools/filxx.lua new file mode 100644 index 000000000..10898fa48 --- /dev/null +++ b/xmake/modules/core/tools/filxx.lua @@ -0,0 +1,21 @@ +--!A cross-platform build utility based on Lua +-- +-- Licensed under the Apache License, Version 2.0 (the "License"); +-- you may not use this file except in compliance with the License. +-- You may obtain a copy of the License at +-- +-- http://www.apache.org/licenses/LICENSE-2.0 +-- +-- Unless required by applicable law or agreed to in writing, software +-- distributed under the License is distributed on an "AS IS" BASIS, +-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +-- See the License for the specific language governing permissions and +-- limitations under the License. +-- +-- Copyright (C) 2015-present, Xmake Open Source Community. +-- +-- @file filxx.lua +-- + +-- fil++ is Fil-C's clang-based C++ compiler - inherit clang driver behaviour +inherit("clang") diff --git a/xmake/modules/detect/tools/find_filcc.lua b/xmake/modules/detect/tools/find_filcc.lua new file mode 100644 index 000000000..2f6c96fcc --- /dev/null +++ b/xmake/modules/detect/tools/find_filcc.lua @@ -0,0 +1,41 @@ +--!A cross-platform build utility based on Lua +-- +-- Licensed under the Apache License, Version 2.0 (the "License"); +-- you may not use this file except in compliance with the License. +-- You may obtain a copy of the License at +-- +-- http://www.apache.org/licenses/LICENSE-2.0 +-- +-- Unless required by applicable law or agreed to in writing, software +-- distributed under the License is distributed on an "AS IS" BASIS, +-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +-- See the License for the specific language governing permissions and +-- limitations under the License. +-- +-- Copyright (C) 2015-present, Xmake Open Source Community. +-- +-- @file find_filcc.lua +-- + +import("lib.detect.find_program") +import("lib.detect.find_programver") + +-- find filcc (Fil-C memory-safe C compiler, clang-based) +-- +-- @param opt the argument options, e.g. {version = true} +-- +-- @return program, version +-- +function main(opt) + opt = opt or {} + opt.check = opt.check or "--version" + opt.command = opt.command or "--version" + + local program = find_program(opt.program or "filcc", opt) + + local version = nil + if program and opt.version then + version = find_programver(program, opt) + end + return program, version +end diff --git a/xmake/modules/detect/tools/find_filxx.lua b/xmake/modules/detect/tools/find_filxx.lua new file mode 100644 index 000000000..b7aa65cc9 --- /dev/null +++ b/xmake/modules/detect/tools/find_filxx.lua @@ -0,0 +1,41 @@ +--!A cross-platform build utility based on Lua +-- +-- Licensed under the Apache License, Version 2.0 (the "License"); +-- you may not use this file except in compliance with the License. +-- You may obtain a copy of the License at +-- +-- http://www.apache.org/licenses/LICENSE-2.0 +-- +-- Unless required by applicable law or agreed to in writing, software +-- distributed under the License is distributed on an "AS IS" BASIS, +-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +-- See the License for the specific language governing permissions and +-- limitations under the License. +-- +-- Copyright (C) 2015-present, Xmake Open Source Community. +-- +-- @file find_filxx.lua +-- + +import("lib.detect.find_program") +import("lib.detect.find_programver") + +-- find fil++ (Fil-C memory-safe C++ compiler, clang-based) +-- +-- @param opt the argument options, e.g. {version = true} +-- +-- @return program, version +-- +function main(opt) + opt = opt or {} + opt.check = opt.check or "--version" + opt.command = opt.command or "--version" + + local program = find_program(opt.program or "fil++", opt) + + local version = nil + if program and opt.version then + version = find_programver(program, opt) + end + return program, version +end diff --git a/xmake/toolchains/filc/xmake.lua b/xmake/toolchains/filc/xmake.lua new file mode 100644 index 000000000..326d50022 --- /dev/null +++ b/xmake/toolchains/filc/xmake.lua @@ -0,0 +1,100 @@ +--!A cross-platform build utility based on Lua +-- +-- Licensed under the Apache License, Version 2.0 (the "License"); +-- you may not use this file except in compliance with the License. +-- You may obtain a copy of the License at +-- +-- http://www.apache.org/licenses/LICENSE-2.0 +-- +-- Unless required by applicable law or agreed to in writing, software +-- distributed under the License is distributed on an "AS IS" BASIS, +-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +-- See the License for the specific language governing permissions and +-- limitations under the License. +-- +-- Copyright (C) 2015-present, Xmake Open Source Community. +-- +-- @file xmake.lua +-- + +toolchain("filc") + set_kind("standalone") + set_homepage("https://fil-c.org/") + set_description("A memory safe implementation of the C and C++ programming languages.") + + set_toolset("cc", "filcc") + set_toolset("cxx", "fil++") + set_toolset("ld", "filcc") + set_toolset("sh", "filcc") + set_toolset("ar", "ar") + set_toolset("as", "filcc") + + on_check(function (toolchain) + import("lib.detect.find_tool") + + -- look in package installdir/build/bin and bin first, then bindir/sdkdir, then PATH + local paths = {} + for _, package in ipairs(toolchain:packages()) do + local installdir = package:installdir() + if installdir then + table.insert(paths, path.join(installdir, "build", "bin")) + table.insert(paths, path.join(installdir, "bin")) + end + end + local bindir = toolchain:bindir() + if bindir then + table.insert(paths, bindir) + end + local sdkdir = toolchain:sdkdir() + if sdkdir then + table.insert(paths, path.join(sdkdir, "build", "bin")) + table.insert(paths, path.join(sdkdir, "bin")) + end + + local filcc = find_tool("filcc", {paths = paths, force = true}) + if filcc then + if os.isfile(filcc.program) then + toolchain:config_set("bindir", path.directory(filcc.program)) + -- set sdkdir to the package install root so on_load can find pizfix + for _, package in ipairs(toolchain:packages()) do + local installdir = package:installdir() + if installdir and filcc.program:startswith(installdir) then + toolchain:config_set("sdkdir", installdir) + break + end + end + end + return true + end + end) + + on_load(function (toolchain) + -- expose host system headers (GL, X11, etc.) via -idirafter so they are + -- searched AFTER filc's own libc++ headers, preventing stdlib.h conflicts + for _, sysdir in ipairs({"/usr/include", "/usr/local/include"}) do + if os.isdir(sysdir) then + toolchain:add("cflags", "-idirafter " .. sysdir) + toolchain:add("cxflags", "-idirafter " .. sysdir) + end + end + + -- add runtime include/lib dirs from the installed package or sdk + local function _add_pizfix(dir) + local pizfix = path.join(dir, "pizfix") + -- only add stdfil-include for stdfil.h; pizfix/include (musl C headers) + -- must NOT be added as -isystem or it breaks libc++'s stdlib.h include order + local stdfil_include = path.join(pizfix, "stdfil-include") + if os.isdir(stdfil_include) then + toolchain:add("sysincludedirs", stdfil_include) + end + for _, libdir in ipairs({path.join(pizfix, "lib64"), path.join(pizfix, "lib")}) do + if os.isdir(libdir) then + toolchain:add("linkdirs", libdir) + end + end + end + local sdkdir = toolchain:sdkdir() + if sdkdir and os.isdir(sdkdir) then + _add_pizfix(sdkdir) + end + end) |
