search

takemaru / graphillion

Fast, lightweight graphset operation library
Other
466 stars 40 forks source link

Clang compiler warnings on FreeBSD #3

Closed koobs closed 11 years ago

koobs commented 11 years ago

Reporting clang compiler warnings at your request :)

I have complete build logs of graphillion on FreeBSD 8.x through 10.x on both amd64/i386 too if you would like them.

Operating System: FreeBSD 9.1-STABLE amd64 r250655 Compiler: clang version 3.2 (tags/RELEASE_32/final 170710) 20121221

Build log:

[user@9-STABLE-amd64:/usr/home/user/repos/freebsd/ports/graphics/py-graphillion] make
===>  License MIT accepted by the user
===>   py27-graphillion-0.93 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by py27-graphillion-0.93 for building
===>  Extracting for py27-graphillion-0.93
=> SHA256 Checksum OK for graphillion-0.93.tar.gz.
===>  Patching for py27-graphillion-0.93
===>  Applying FreeBSD patches for py27-graphillion-0.93
===>   py27-graphillion-0.93 depends on file: /usr/local/bin/easy_install-2.7 - found
===>   py27-graphillion-0.93 depends on file: /usr/local/bin/python2.7 - found
===>  Configuring for py27-graphillion-0.93
running config
===>  Building for py27-graphillion-0.93
running setopt
Writing setup.cfg
running setopt
Writing setup.cfg
running setopt
Writing setup.cfg
running setopt
Writing setup.cfg
running bdist_egg
running egg_info
creating Graphillion.egg-info
writing Graphillion.egg-info/PKG-INFO
writing top-level names to Graphillion.egg-info/top_level.txt
writing dependency_links to Graphillion.egg-info/dependency_links.txt
writing manifest file 'Graphillion.egg-info/SOURCES.txt'
reading manifest file 'Graphillion.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
writing manifest file 'Graphillion.egg-info/SOURCES.txt'
installing library code to build/bdist.freebsd-9.1-STABLE-amd64/egg
running install_lib
running build_py
creating lib.freebsd-9.1-STABLE-amd64
creating lib.freebsd-9.1-STABLE-amd64/graphillion
copying graphillion/__init__.py -> lib.freebsd-9.1-STABLE-amd64/graphillion
copying graphillion/graphset.py -> lib.freebsd-9.1-STABLE-amd64/graphillion
copying graphillion/tutorial.py -> lib.freebsd-9.1-STABLE-amd64/graphillion
copying graphillion/release.py -> lib.freebsd-9.1-STABLE-amd64/graphillion
copying graphillion/setset.py -> lib.freebsd-9.1-STABLE-amd64/graphillion
running build_ext
building '_graphillion' extension
creating temp.freebsd-9.1-STABLE-amd64-2.7
creating temp.freebsd-9.1-STABLE-amd64-2.7/src
creating temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion
creating temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/pygraphillion.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/pygraphillion.o
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/graphillion/graphset.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/graphset.o
In file included from src/graphillion/graphset.cc:32:
In file included from src/subsetting/dd/ZddStructure.hpp:14:
In file included from src/subsetting/dd/DdBuilder.hpp:20:
In file included from src/subsetting/dd/DdNodeTable.hpp:17:
src/subsetting/dd/../util/MessageHandler.hpp:118:37: warning: adding 'int' to a string does not append to the string [-Wstring-plus-int]
        name = s.empty() ? "level-" + indentLevel : s;
                           ~~~~~~~~~^~~~~~~~~~~~~
src/subsetting/dd/../util/MessageHandler.hpp:118:37: note: use array indexing to silence this warning
        name = s.empty() ? "level-" + indentLevel : s;
                                    ^
                           &        [            ]
src/subsetting/dd/../util/MessageHandler.hpp:118:37: warning: adding 'int' to a string does not append to the string [-Wstring-plus-int]
        name = s.empty() ? "level-" + indentLevel : s;
                           ~~~~~~~~~^~~~~~~~~~~~~
src/subsetting/dd/ZddStructure.hpp:164:12: note: in instantiation of member function 'MessageHandler_<cerr>::begin' requested here
        mh.begin("reduction") << " ";
           ^
src/subsetting/dd/../util/MessageHandler.hpp:118:37: note: use array indexing to silence this warning
        name = s.empty() ? "level-" + indentLevel : s;
                                    ^
                           &        [            ]
In file included from src/graphillion/graphset.cc:32:
In file included from src/subsetting/dd/ZddStructure.hpp:14:
In file included from src/subsetting/dd/DdBuilder.hpp:20:
In file included from src/subsetting/dd/DdNodeTable.hpp:18:
src/subsetting/dd/../util/MyVector.hpp:177:21: warning: destination for this 'memcpy' call is a pointer to dynamic class 'MyList<DdBuilderBase::SpecNode, 1000>'; vtable pointer
      will be overwritten [-Wdynamic-class-memaccess]
        std::memcpy(tmp, array_, size_ * sizeof(T));
        ~~~~~~~~~~~ ^
src/subsetting/dd/../util/MyVector.hpp:188:9: note: in instantiation of member function 'MyVector<MyList<DdBuilderBase::SpecNode, 1000> >::shrink' requested here
        shrink(0);
        ^
src/subsetting/dd/../util/MyVector.hpp:87:9: note: in instantiation of member function 'MyVector<MyList<DdBuilderBase::SpecNode, 1000> >::clear' requested here
        clear();
        ^
src/subsetting/dd/DdBuilder.hpp:79:7: note: in instantiation of member function 'MyVector<MyList<DdBuilderBase::SpecNode, 1000> >::~MyVector' requested here
class DdBuilder: DdBuilderBase {
      ^
src/subsetting/dd/ZddStructure.hpp:68:9: note: in instantiation of function template specialization 'ZddStructure::construct_<SapporoZdd>' requested here
        construct_(spec.entity());
        ^
src/graphillion/graphset.cc:90:14: note: in instantiation of function template specialization 'ZddStructure::ZddStructure<SapporoZdd>' requested here
    dd = new ZddStructure(f);
                                    ^
                           &        [            ]
In file included from src/graphillion/setset.cc:32:
In file included from src/subsetting/dd/PathCounter.hpp:22:
src/subsetting/dd/../util/MyVector.hpp:177:21: warning: destination for this 'memcpy' call is a pointer to dynamic class 'MyList<unsigned long, 1000>'; vtable pointer will be
      overwritten [-Wdynamic-class-memaccess]
        std::memcpy(tmp, array_, size_ * sizeof(T));
        ~~~~~~~~~~~ ^
src/subsetting/dd/../util/MyVector.hpp:188:9: note: in instantiation of member function 'MyVector<MyList<unsigned long, 1000> >::shrink' requested here
        shrink(0);
        ^
src/subsetting/dd/../util/MyVector.hpp:87:9: note: in instantiation of member function 'MyVector<MyList<unsigned long, 1000> >::clear' requested here
        clear();
        ^
src/subsetting/dd/PathCounter.hpp:219:33: note: in instantiation of member function 'MyVector<MyList<unsigned long, 1000> >::~MyVector' requested here
        MyVector<MyList<Word> > vnodeTable(n + 1);
                                ^
src/subsetting/dd/PathCounter.hpp:411:22: note: in instantiation of member function 'PathCounter<SapporoZdd>::countFast' requested here
    return fast ? pc.countFast() : pc.count();
                     ^
src/graphillion/setset.cc:270:10: note: in instantiation of function template specialization 'countPaths<SapporoZdd>' requested here
  return countPaths(f, true);
         ^
src/subsetting/dd/../util/MyVector.hpp:177:21: note: explicitly cast the pointer to silence this warning
        std::memcpy(tmp, array_, size_ * sizeof(T));
                    ^
                    (void*)
src/subsetting/dd/../util/MyVector.hpp:177:21: warning: destination for this 'memcpy' call is a pointer to dynamic class 'MyHashTable<unsigned long *,
      PathCounter<SapporoZdd>::Hasher, PathCounter<SapporoZdd>::Hasher>'; vtable pointer will be overwritten [-Wdynamic-class-memaccess]
        std::memcpy(tmp, array_, size_ * sizeof(T));
        ~~~~~~~~~~~ ^
src/subsetting/dd/../util/MyVector.hpp:188:9: note: in instantiation of member function 'MyVector<MyHashTable<unsigned long *, PathCounter<SapporoZdd>::Hasher,
      PathCounter<SapporoZdd>::Hasher> >::shrink' requested here
        shrink(0);
        ^
src/subsetting/dd/../util/MyVector.hpp:87:9: note: in instantiation of member function 'MyVector<MyHashTable<unsigned long *, PathCounter<SapporoZdd>::Hasher,
      PathCounter<SapporoZdd>::Hasher> >::clear' requested here
        clear();
        ^
src/subsetting/dd/PathCounter.hpp:104:29: note: in instantiation of member function 'MyVector<MyHashTable<unsigned long *, PathCounter<SapporoZdd>::Hasher,
      PathCounter<SapporoZdd>::Hasher> >::~MyVector' requested here
        MyVector<UniqTable> uniqTable;
                            ^
src/subsetting/dd/PathCounter.hpp:411:39: note: in instantiation of member function 'PathCounter<SapporoZdd>::count' requested here
    return fast ? pc.countFast() : pc.count();
                                      ^
src/graphillion/setset.cc:270:10: note: in instantiation of function template specialization 'countPaths<SapporoZdd>' requested here
  return countPaths(f, true);
         ^
src/subsetting/dd/../util/MyVector.hpp:177:21: note: explicitly cast the pointer to silence this warning
        std::memcpy(tmp, array_, size_ * sizeof(T));
                    ^
                    (void*)
4 warnings generated.
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/graphillion/util.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/util.o
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/graphillion/zdd.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/zdd.o
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/SAPPOROBDD/bddc.c -o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/bddc.o
src/SAPPOROBDD/bddc.c:564:28: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(strm, B_BDDP_FD, bddvsize(p, n));
                           ^~~~~~~~~~~~~~
src/SAPPOROBDD/bddc.c:576:35: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
    else fprintf(strm, B_BDDP_FD, p[i]);
                                  ^~~~
src/SAPPOROBDD/bddc.c:641:15: warning: promoted type 'int' of K&R function parameter is not compatible with the parameter type 'unsigned char' declared in a previous prototype
      [-Wknr-promoted-parameter]
unsigned char op;
              ^
src/SAPPOROBDD/bddc.h:125:46: note: previous declaration is here
extern bddp   bddrcache B_ARG((unsigned char op, bddp f, bddp g));
                                             ^
src/SAPPOROBDD/bddc.h:36:20: note: expanded from macro 'B_ARG'
#  define B_ARG(a) a       /* ANSI C style */
                   ^
src/SAPPOROBDD/bddc.c:655:15: warning: promoted type 'int' of K&R function parameter is not compatible with the parameter type 'unsigned char' declared in a previous prototype
      [-Wknr-promoted-parameter]
unsigned char op;
              ^
src/SAPPOROBDD/bddc.h:127:36: note: previous declaration is here
              B_ARG((unsigned char op, bddp f, bddp g, bddp h));
                                   ^
src/SAPPOROBDD/bddc.h:36:20: note: expanded from macro 'B_ARG'
#  define B_ARG(a) a       /* ANSI C style */
                   ^
src/SAPPOROBDD/bddc.c:1570:15: warning: promoted type 'int' of K&R function parameter is not compatible with the parameter type 'unsigned char' declared in a previous prototype
      [-Wknr-promoted-parameter]
unsigned char op, skip;
              ^
src/SAPPOROBDD/bddc.c:220:56: note: previous declaration is here
static bddp apply B_ARG((bddp f, bddp g, unsigned char op, unsigned char skip));
                                                       ^
src/SAPPOROBDD/bddc.h:36:20: note: expanded from macro 'B_ARG'
#  define B_ARG(a) a       /* ANSI C style */
                   ^
src/SAPPOROBDD/bddc.c:1570:19: warning: promoted type 'int' of K&R function parameter is not compatible with the parameter type 'unsigned char' declared in a previous prototype
      [-Wknr-promoted-parameter]
unsigned char op, skip;
                  ^
src/SAPPOROBDD/bddc.c:220:74: note: previous declaration is here
static bddp apply B_ARG((bddp f, bddp g, unsigned char op, unsigned char skip));
                                                                         ^
src/SAPPOROBDD/bddc.h:36:20: note: expanded from macro 'B_ARG'
#  define B_ARG(a) a       /* ANSI C style */
                   ^
src/SAPPOROBDD/bddc.c:2258:33: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  else fprintf(strm, B_BDDP_FD, f0);
                                ^~
src/SAPPOROBDD/bddc.c:2262:33: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  else fprintf(strm, B_BDDP_FD, f1);
                                ^~
src/SAPPOROBDD/bddc.c:2432:30: warning: format specifies type 'unsigned long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(stderr, B_BDDP_FX, num);
                             ^~~
src/SAPPOROBDD/bddc.c:2435:30: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(stderr, B_BDDP_FD, NodeLimit);
                             ^~~~~~~~~
src/SAPPOROBDD/bddc.c:2437:30: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(stderr, B_BDDP_FD, NodeSpc);
                             ^~~~~~~
src/SAPPOROBDD/bddc.c:2440:30: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(stderr, B_BDDP_FD, CacheSpc);
                             ^~~~~~~~
src/SAPPOROBDD/bddc.c:2442:30: warning: format specifies type 'long long' but the argument has type 'bddp' (aka 'unsigned long') [-Wformat]
  fprintf(stderr, B_BDDP_FD, NodeUsed);
                             ^~~~~~~~
13 warnings generated.
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/SAPPOROBDD/BDD.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/BDD.o
clang -DNDEBUG -O2 -pipe -fno-strict-aliasing -O2 -pipe -fno-strict-aliasing -fPIC -Isrc -I/usr/local/include/python2.7 -c src/SAPPOROBDD/ZBDD.cc -o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/ZBDD.o
clang++ -shared -O2 -pipe -fno-strict-aliasing temp.freebsd-9.1-STABLE-amd64-2.7/src/pygraphillion.o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/graphset.o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/setset.o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/util.o temp.freebsd-9.1-STABLE-amd64-2.7/src/graphillion/zdd.o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/bddc.o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/BDD.o temp.freebsd-9.1-STABLE-amd64-2.7/src/SAPPOROBDD/ZBDD.o -o lib.freebsd-9.1-STABLE-amd64/_graphillion.so
creating build
creating build/bdist.freebsd-9.1-STABLE-amd64
creating build/bdist.freebsd-9.1-STABLE-amd64/egg
creating build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/graphillion/tutorial.py -> build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/graphillion/release.py -> build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/graphillion/setset.py -> build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/graphillion/graphset.py -> build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/graphillion/__init__.py -> build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion
copying lib.freebsd-9.1-STABLE-amd64/_graphillion.so -> build/bdist.freebsd-9.1-STABLE-amd64/egg
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion/tutorial.py to tutorial.pyc
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion/release.py to release.pyc
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion/setset.py to setset.pyc
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion/graphset.py to graphset.pyc
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/graphillion/__init__.py to __init__.pyc
creating stub loader for _graphillion.so
byte-compiling build/bdist.freebsd-9.1-STABLE-amd64/egg/_graphillion.py to _graphillion.pyc
creating build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
copying Graphillion.egg-info/PKG-INFO -> build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
copying Graphillion.egg-info/SOURCES.txt -> build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
copying Graphillion.egg-info/dependency_links.txt -> build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
copying Graphillion.egg-info/not-zip-safe -> build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
copying Graphillion.egg-info/top_level.txt -> build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO
writing build/bdist.freebsd-9.1-STABLE-amd64/egg/EGG-INFO/native_libs.txt
creating dist
creating 'dist/Graphillion-0.93-py2.7-freebsd-9.1-STABLE-amd64.egg' and adding 'build/bdist.freebsd-9.1-STABLE-amd64/egg' to it
removing 'build/bdist.freebsd-9.1-STABLE-amd64/egg' (and everything under it)
takemaru commented 11 years ago

Thank you.
We'll try to suppress them, though it might be hard to clear all warnings.