1

（これは私の前の質問の延長です）。Windows CLI で Splint を使用しています。

XC8 組み込み C コンパイラには、カスタム タイプがありbitます。Splint に解析させるには、CLI オプションを渡します。

-Dbit=char

ただし、に置き換える必要がありbitますunsigned char。スペース文字が問題です。上記のフラグを変更するにはどうすればよいですか?

4

1 に答える 1

2

splintコマンドライン引数の引用符とエスケープを処理するのは、ではなくシェルです。シェルが文字列全体-Dbit=unsigned charを 1 つの引数として扱うことになる結果であれば、それで十分です。たとえば、全体を引用符で囲みます。

（編集：実際には、Windowsの場合、引用符とエスケープを処理するのはシェル以外のものである場合がありますが、それでも全体を二重引用符で囲むことはうまくいくはずです。）

于 2014-02-24T12:47:41.547 に答える