My issues in the past with "pretty printers" were most mostly with C
comments. Most pretty-printers just scramble comments, especially if
they don't understand the comment indentation. NuttX multi-line comments
are not supported by anything AFAIK. And comment information that has a
columnar organization can also cause code scrambling.
THIS:
https://nuttx.apache.org/docs/latest/contributing/coding_style.html#comments
There are (or were) a couple of tools scripts that tried to make GNU
into Nuttx (under tools/). They were miserable failures, due primarily
to commenting.