Fully banish printf from the firmware

1 files changed, 1 insertions, 96 deletions

diff --git a/build-aux/measurestack/app_plugins.py b/build-aux/measurestack/app_plugins.py
index fbe137c..6fc81ec 100644
--- a/build-aux/measurestack/app_plugins.py
+++ b/build-aux/measurestack/app_plugins.py
@@ -19,7 +19,6 @@ __all__ = [
     "LibCRIPCPlugin",
     "Lib9PPlugin",
     "LibMiscPlugin",
-    "PicoFmtPlugin",
     "PicoSDKPlugin",
     "TinyUSBDevicePlugin",
     "NewlibPlugin",
@@ -369,97 +368,6 @@ class Lib9PPlugin:
         return {}
 
 
-class PicoFmtPlugin:
-    known_fct: dict[BaseName, BaseName]
-    wont_call_v: typing.Collection[BaseName]
-
-    def __init__(
-        self, arg_pico_platform: str, wont_call_v: typing.Collection[BaseName]
-    ) -> None:
-        self.known_fct = {
-            # pico_fmt
-            BaseName("fmt_vsnprintf"): BaseName("_out_buffer"),
-        }
-        match arg_pico_platform:
-            case "rp2040":
-                self.known_fct.update(
-                    {
-                        # pico_stdio
-                        BaseName("__wrap_vprintf"): BaseName("stdio_buffered_printer"),
-                        BaseName("stdio_vprintf"): BaseName("stdio_buffered_printer"),
-                    }
-                )
-        self.wont_call_v = set([*self.known_fct.values(), *wont_call_v])
-
-    def is_intrhandler(self, name: QName) -> bool:
-        return False
-
-    def init_array(self) -> typing.Collection[QName]:
-        return []
-
-    def extra_includes(self) -> typing.Collection[BaseName]:
-        return []
-
-    def extra_nodes(self) -> typing.Collection[Node]:
-        return []
-
-    def indirect_callees(
-        self, loc: str, line: str
-    ) -> tuple[typing.Collection[QName], bool] | None:
-        if "/3rd-party/pico-fmt/" not in loc:
-            return None
-        if "/printf.c:" in loc:
-            m = util.re_call_other.fullmatch(line)
-            call: str | None = m.group("func") if m else None
-            if "->fct" in line:
-                return [x.as_qname() for x in self.known_fct.values()], False
-            if "specifier_table" in line:
-                return [
-                    # pico-fmt
-                    QName("conv_sint"),
-                    QName("conv_uint"),
-                    # QName("conv_double"),
-                    QName("conv_char"),
-                    QName("conv_str"),
-                    QName("conv_ptr"),
-                    QName("conv_pct"),
-                    # libfmt
-                    QName("libfmt_conv_formatter"),
-                    QName("libfmt_conv_quote"),
-                ], False
-        return None
-
-    def skipmodels(self) -> dict[BaseName, analyze.SkipModel]:
-        ret: dict[BaseName, analyze.SkipModel] = {
-            BaseName("fmt_state_putchar"): analyze.SkipModel(
-                self.known_fct.keys(), self._skipmodel_fmt_state_putchar
-            ),
-            BaseName("_vfctprintf"): analyze.SkipModel(
-                self.wont_call_v, self._skipmodel__vfctprintf
-            ),
-        }
-        return ret
-
-    def _skipmodel_fmt_state_putchar(
-        self, chain: typing.Sequence[QName], node: Node, call: QName
-    ) -> bool:
-        if call.base() in self.known_fct.values():
-            fct: BaseName | None = None
-            for pcall in reversed(chain):
-                if pcall.base() in self.known_fct:
-                    fct = self.known_fct[pcall.base()]
-                    return call.base() != fct
-            return True
-        return False
-
-    def _skipmodel__vfctprintf(
-        self, chain: typing.Sequence[QName], node: Node, call: QName
-    ) -> bool:
-        if call.base() == BaseName("libfmt_conv_formatter"):
-            return any(c.base() in self.wont_call_v for c in chain)
-        return False
-
-
 class PicoSDKPlugin:
     get_init_array: typing.Callable[[], typing.Collection[QName]]
     app_init_array: typing.Collection[QName] | None
@@ -877,10 +785,7 @@ class LibGCCPlugin:
         return False
 
     def init_array(self) -> typing.Collection[QName]:
-        return [
-            QName("libfmt_install_formatter"),
-            QName("libfmt_install_quote"),
-        ]
+        return []
 
     def extra_includes(self) -> typing.Collection[BaseName]:
         return []