summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2026-04-03 22:27:58 +0800
committerGitHub <[email protected]>2026-04-03 22:27:58 +0800
commit4ebfd2f067bffbfe838736ce5aa82df6308057e4 (patch)
tree0430876737ba55cd60415bcf836ed3fc0fff2d50
parent39fd35ea9d5d14079e4669b85423d488c9097cd4 (diff)
parent6e2a9173275b468c842687641247679c5f60af75 (diff)
Merge pull request #7446 from luadebug/compiler
Fil-C add toolchain
-rw-r--r--README.md1
-rw-r--r--README_zh.md1
-rw-r--r--tests/projects/c/filc/safety_test/src/main.c17
-rw-r--r--tests/projects/c/filc/safety_test/test.lua52
-rw-r--r--tests/projects/c/filc/safety_test/xmake.lua9
-rw-r--r--xmake/modules/core/tools/filcc.lua21
-rw-r--r--xmake/modules/core/tools/filxx.lua21
-rw-r--r--xmake/modules/detect/tools/find_filcc.lua41
-rw-r--r--xmake/modules/detect/tools/find_filxx.lua41
-rw-r--r--xmake/toolchains/filc/xmake.lua100
10 files changed, 304 insertions, 0 deletions
diff --git a/README.md b/README.md
index c262f2761..1d1cb87ac 100644
--- a/README.md
+++ b/README.md
@@ -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)