• ベストアンサー

GCCで暗黙の型変換の警告を出したい

情報が失われてしまうような代入について警告を出したいのですが、 どういったオプションを用いればよいでしょうか？ コンパイラはGCCの3.x系か4.x系でお願いします。 以下のようなソースで型変換に関する警告がほしいんです。 --- test.c --- #include <stdio.h> int main(void) { 　　int a = 66000; 　　short b; 　　b = a; // <- 暗黙の型変換 　　printf("%d\n", b); 　　return 0; } 実行結果 $ ./test 464 以下のオプションを試しましたが、上記のソースでは 何の警告も出ませんでした。 -W -Wall -Wconversion -Wimplicit ご存知の方いらっしゃいましたら、どうかお助け下さい。

質問者が選んだベストアンサー

  • ベストアンサー
  • colder
  • ベストアンサー率43% (30/69)
回答No.1

version 4.3では、-Wconversion で警告が出ました。 それ以前のversionでは、おそらく無理です。

jjk65536
質問者

お礼

4.3の新機能だったんですね。 「以下のオプションを試しましたが、」と書きましたが、GCC4.3では 試していませんでした。 スミマセン。 GCC4.3とNo2様のsplintの両方を試してみて、使いやすそうな方を 検討してみます。 ありがとうございました。

その他の回答 (1)

  • hidebun
  • ベストアンサー率50% (92/181)
回答No.2

http://d.hatena.ne.jp/yupo5656/20040830/p2 のように、警告が出なかったようですね。 このブログの方は、splintというコードチェックツールを紹介されていましたが。 #1さんが書かれているように、4.3から警告できるようになったようです。 GCC 4.3 Release Series(Changes, New Features, and Fixes): http://gcc.gnu.org/gcc-4.3/changes.html The -Wconversion option has been modified. Its purpose now is to warn for implicit conversions that may alter a value. This new behavior is available for both C and C++.

jjk65536
質問者

お礼

Lintを使う発想はありませんでした。 目から鱗です。 シンプルなソースならsplint、GCC拡張コードとかが含まれる 移植性の低いコードにはGCC4.3といった形でソースコードチェックを 実施してみます。 ありがとうございました。

  1. カテゴリ
  2. [技術者向] コンピューター
  3. プログラミング・開発
  4. C・C++・C#

関連するQ&A

  • 暗黙的型変換

    C の文法書を読んでいると、 汎整数型拡張: int より小さな汎整数型が式中に現れる場合は、暗黙的に int 型に変換される。 算術変換: 二項演算子で二つのオペランドの型が違う場合は、演算前により大きな方の型に暗黙的に変換される。 とあります。 例えば int 型 = unsigned short 型 - unsigned char 型; はどのように暗黙的な型変換が行われるのでしょう。 int 型 = (int)unsigned short 型 - (int)unsigned char 型; でしょうか。あるいは、 int 型 = (int) ( unsigned short 型 - (unsigned short)unsigned char 型); でしょうか。

  • windowsのコンパイラーで正しく実行されたのに、gccのコンパイラーでエラーがでた

    windowsのコンパイラーで正しく実行されたのに、gccのコンパイラーでエラーがでたソースコードです。ファィル名test.c　です。Linux(Red Hat9) gccです。windowsのコンパイラーはCPad for Borland C++Compilerです。 #include <stdio.h> void main() //intからvoidに変更した { int i, j; for (i=1; i<=9; i++){ printf("%2d ",i); //%2dで、iが２桁に表示 } printf("\n"); printf("***************************\n"); //この罫線もどきの書き方はダサいので工夫してください for (i = 1; i<=9; i++){ for (j = 1; j<= 9; j++) { printf("%2d ", i*j); if (j == 9) printf("\n"); //1行表示後改行 } } return; //voidにしたので0を取った！ } これがLinux(RedHat9)gccでは以下のエラーが出ます。 （test.c: 関数 `main' 内: test.c:4: 警告: `main' の戻り値の型が `int' ではありません） 　なぜ、同じソースコードでエラーが起こるのですか？ 　Linux gccでは、この場合`int' 以外の何が必要なのでしょうか？ 以上よろしくお願いします。

  • gccの最適化オプションで挙動がおかしくなる

    コンパイラの最適化オプション -Osをつけると、下記のソースの終了コードが255になってしまいます。 最適化を行わない時や最適化を-O1にしたときは、０を返します。 本来は０が返ると思うのですが、なにかコードの書き方に何か問題ありますでしょうか？ 環境は、 gcc 4.2、Mac Xcode 3.1.4上でテストしています。 また、ソースの文字コードの種類はSJISにしています。 const unsigned char gStr[3]="\x82\xAC"; int main(int ac, char **av) { 　const unsigned char cc=0x82; 　if(gStr[0]==cc) 　　return 0; 　else 　　return 0xff; }

  • C#で型変換がうまくいきません。

    C#で型変換がうまくいきません。 short r; byte[] b = new byte[] {1,2,3}; r = (short)b[1] * (short)256; というコードを書くと、 型 'int' を 'short' に暗黙的に変換できません。明示的な変換が存在します。(cast が不足していないかどうかを確認してください) と出てしまいます。キャストしているのに何がいけないのか全くわかりません。 どうぞ宜しくお願いいたします。

  • Borland C++ Compiler 5.5の警告について

    Borland C++ Compiler 5.5を使用してコンパイルしているのですが、 下記のソースをコンパイルするとエラーがでます。 #include <stdio.h> ------test.c------ int main(void) { int a; int b=0; b = a; return 0; } 警告 W8004 error.c 6: 'b' に代入した値は使われていない(関数 main )という警告なのですが、初期化をしている変数すべての警告がでてしまい困っています。 この警告だけを表示させない方法等あるのでしょうか？

  • 型変換の質問

    どうしても考えてもわからないので投稿します。 Q1.以下の３つの型変換処理を実行せよ ・型変換(1)(int⇒String) ・型変換(2)(int⇒Double) ・型変換(3)(String⇒int) の、問題なのですがどうしても出力できません。 どなたか教えてください。

  • Emacsでのgccのインクルードパスの設定方法

    こんにちは。 Emacsは、Gnu Emacs for Windows 23.4 を使っています。 gccのインクルードパスの問題により、Emcasのcompileコマンドで、Cのソースファイルをコンパイルするができなくて困っています。 具体的には、CのソースファイルをEmacsで開き、「M-x compile」と入力した後、ミニバッファで「gcc -c test.c」と入力すると、以下のようなコンパイルエラーが表示されます。 ------------------------------------------------------------ gcc -c test.c test.c:1:19: no include path in which to search for stdio.h Compilation exited abnormally with code 1 at Sun Jul 08 18:24:05 ------------------------------------------------------------ どうやら、インクルードパスが設定されていないようです。 ちなみに、test.cは以下のような非常に単純なCプログラムです。 ------------------------------------------------------------ include <stdio.h> int main(void) { printf("Hello!\n"); return 0; } ------------------------------------------------------------ コマンドプロンプトや、ktermといった端末から、同じように gcc -c test.c というコマンドを実行すると、エラーが出る事はなく上手くコンパイルできますので、 適切なインクルードパスが設定されているはずです。 どうすれば、Emacsのcompileコマンドから、gccでコンパイルを行う時に使われる、インクルードパスを設定する事ができるのでしょうか? (gccの-Iオプションで、毎回インクルードパスを設定する必要をなくす方法が知りたいです。) では、よろしくお願い致します。

  • C言語　型変換について

    以下のように型変換すると a1 = 123.78、a2 = 123、b = 77、a3 = 78 となり、なぜb=77となってしまうのかわかりません。 詳しい方、すみませんが教えてください。よろしくお願いします。 float a1, a2, a3; int b; void main() { a1 = 123.78; a2 = (int)a1; b = (a1 - a2)*100; a3 = (a1 - a2)*100; printf("a1 = %3.3f, a2 = %3.3f, b = %3d, a3 = %3.3f" , a1, a2, b, a3); }

  • 型変換？？

    int RANDOM_FUNCTION( int n ) { return (int)( rand() / (float)RAND_MAX * n ); } について Q1.この関数は0からn-1までの乱数を作るそうなのですが，何故ですか？ 0<=rand()<=RAND_MAX だから0からnまでの乱数ができるような気がするのですが． Q2.RAND_MAXではなく(float)RAND_MAXとキャストしてある意味は何ですか？ Q3.srand((unsigned)time(NULL));と srand((unsigned int)time(NULL));では何か違いますか？ Q4. 　static int first = 0; if (first == 0){ srand((unsigned)time(NULL)); first = 1; } という処理でsrand((unsigned)time(NULL));は最初の一回だけ呼び出されるようになっているようですが，この部分を srand((unsigned)time(NULL)); というように毎回呼び出すようにするとどうなりますか？ 一回呼び出すだけで乱数系列の初期値が呼び出される時に変化しているのですか？ Q5.この関数とは関係ない質問ですが，例えば a:int型 b:int型 c:double型 d:float型 のとき d = a / b + c という演算は １　a:int型，b:int型より(a / b)の結果はint型(小数になった場合は小数点以下切り捨て) ２　(a / b)：int型，c:double型，int<doubleより (a / b + c)の結果はdouble型 ３　d:float型，『=のあるときは左辺の型に合わせる』よりdはfloat型 というように型変換されているという解釈でいいのでしょうか？？

  • c言語　型変換について

    c言語　型変換について 下記のように文字コードは、ｕｎｓｉｇｎｅｄ　int型('B')をｕｎｓｉｇｎｅｄ　char 型(str[1] ) 格下げする型変換する規則を教えてください。 *質問ソースプログラム: int main(void) { char str[4]; /* 文字列を格納する配列 */ str[0] = 'A'; /* 代入 */ str[1] = 'B'; /* 代入 */ ・・・・・・ printf("size B %u\n",(unsigned)sizeof('B')); printf("size str[1] %u\n",(unsigned)sizeof(str[1])); *　実行結果 size B 4 size str[1] 1

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する