(這是我的previous question的擴展)。我在Windows CLI中使用Splint。Splint:用`unsigned char`替代非標準類型的'bit`
XC8嵌入式C編譯器有一個自定義類型bit
。不過,我需要它unsigned char
更換bit
-Dbit=char
:要獲得夾板來分析,我可以傳遞給它的命令行選項。空格字符是一個問題。我如何修改上面的標誌?
(這是我的previous question的擴展)。我在Windows CLI中使用Splint。Splint:用`unsigned char`替代非標準類型的'bit`
XC8嵌入式C編譯器有一個自定義類型bit
。不過,我需要它unsigned char
更換bit
-Dbit=char
:要獲得夾板來分析,我可以傳遞給它的命令行選項。空格字符是一個問題。我如何修改上面的標誌?
它是shell,而不是splint
,它處理命令行參數中的引號和轉義。任何結果,如殼最終將整個字符串-Dbit=unsigned char
作爲單個參數處理就足夠了,例如,將引號放在整個事物中。
(編輯:實際上,在Windows的情況下,它可能會在某些情況下比處理報價和逃逸,而是圍繞整個事情從未在少滑步雙引號應該工作的外殼以外的東西)
謝謝。從你的回答中,我意識到CLI上的標誌和配置文件(splint.rc)中的同一標誌是有區別的 - 它們需要以不同的格式進行格式化。 – Jodes
圍繞與雙引號的論點應該工作。你有任何其他工具像* make *或批處理文件嗎? – nwellnhof