[adlint-user-ja:86] Re: Re: extern FILE * で解析処理中断
Open source and free source code static analyzer
Brought to you by:
asamiogis
From: Yutaka Y. <ya...@us...> - 2013-10-15 04:17:00
|
矢野尾です。 返信が遅れまして申し訳ありません。 こちらで現象を再現できていないので、対象ソース、各種設定ファイル一式を ya...@us... 宛に送信いただけますか? 今、手元に CentOS 5.9 環境が無いので少し時間がかかるかもしれませんが、 是非調査させてください。 以上、よろしくお願いいたします。 -- 矢野尾 裕 <ya...@us...> > さたけです。 > > アドバイスありがとうございます。 > > adlint_traits.ymlのfile_search_paths:の編集などを > 実施しましたが、結果は同じでした。 > 引き続きアドバイスいただけますでしょうか。 > > また、対象ソースやadlint_traits.ymlなどを > 添付させていただいてよろしいでしょうか? > サイズは、tar.gzにして、10Kバイト程度です。 > > [環境、対処内容など] > ・環境は、CentOS5.9です。 > ・ダミーのstdio.hなどは配置していません。 > ・gcc -H xx.cの出力結果(本メール下部に記載)から、 > > file_search_paths: > - "/usr/include" > - "/usr/lib/gcc/i386-redhat-linux/4.1.2/include" > > としました。 > > ・gcc -v -E -dM 1.c 1>1.h 2>1.log > cp 1.h adlint_cinit.h > を実行し、adlint_cinit.h を書き換えました。 > > [結果] > $ make verbose-all > adlint -t adlint_traits.yml -o . -p 1 -v ./1.c > ./1.c [prs] |========== | > 0.349s! > An error was occurred while processing `./1.c'. > See `1.c.msg.csv' and `1.c.log' for more details. > 1.900s user, 0.050s system, 00:00:01.95 total > make: *** [adlint_verbose-all] エラー 4 > > $ cat 1.c.msg.csv > V,3.0.10,2013-10-11 08:11:32 +0900,/home/adlinttest/tmp/adlint/FILE2 > E,./1.c,3,8,core,E0008,ERR,X99,トークン `FILE *' で構文エラーを検知しま > した。 > X,./1.c,3,8,core,X0003,ERR,X99,回復不能なエラーにより解析処理を中断しま > した。詳 細は `1.c.msg.csv' 及び `1.c.log' を確認して下さい。 > > $ cat 1.log > Using built-in specs. > Target: i386-redhat-linux > コンフィグオプション: ../configure --prefix=/usr --mandir=/usr/share/man > --infodir=/usr/share/info --enable-shared --enable-threads=posix > --enable-checking=release --with-system-zlib --enable-__cxa_atexit > --disable-libunwind-exceptions --enable-libgcj-multifile > --enable-languages=c,c++,objc,obj-c++,java,fortran,ada > --enable-java-awt=gtk --disable-dssi --disable-plugin > --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre > --with-cpu=generic --host=i386-redhat-linux > スレッドモデル: posix > gcc バージョン 4.1.2 20080704 (Red Hat 4.1.2-54) > /usr/libexec/gcc/i386-redhat-linux/4.1.2/cc1 -E -quiet -v 1.c > -mtune=generic -dM > 存在しないディレクトリ > "/usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../i386-redhat-linux/include" > を無視します > #include "..." の探索はここから始まります: > #include <...> の探索はここから始まります: > /usr/local/include > /usr/lib/gcc/i386-redhat-linux/4.1.2/include > /usr/include > 探索リストの終わり > > [補足情報] > gcc -H 1.c > . /usr/include/stdio.h > .. /usr/include/features.h > ... /usr/include/sys/cdefs.h > .... /usr/include/bits/wordsize.h > ... /usr/include/gnu/stubs.h > .... /usr/include/bits/wordsize.h > .... /usr/include/gnu/stubs-32.h > .. /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > .. /usr/include/bits/types.h > ... /usr/include/bits/wordsize.h > ... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > ... /usr/include/bits/typesizes.h > .. /usr/include/libio.h > ... /usr/include/_G_config.h > .... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > .... /usr/include/wchar.h > ..... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > ..... /usr/include/bits/wchar.h > .... /usr/include/gconv.h > ..... /usr/include/wchar.h > ...... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > ..... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stddef.h > ... /usr/lib/gcc/i386-redhat-linux/4.1.2/include/stdarg.h > .. /usr/include/bits/stdio_lim.h > .. /usr/include/bits/sys_errlist.h > > 以上です。 |