Thanks Victor! I've added your fix to the svn trunk.
Cheers, Guido -- Guido Tack http://www.csse.monash.edu/~guidot/ On 25 Apr 2014, at 10:33 am, victor.zverov...@gmail.com wrote: > Hi, > > Sending this email again for it apparently hasn't come through last time. > > There is an error when compiling Gecode in debug mode with clang and > -std=c++11 (I compile Gecode as a part of another project, so I don't use the > default flags): > > gecode/flatzinc/flatzinc.cpp:280:34: error: comparison between pointer and > integer ('SharedHandle::Object *' and 'int') > (__builtin_expect(!(object() == false), 0) ? __assert_rtn(__func__, > "gecode/flatzinc/flatzinc.cpp", 280, "object() == false") : (void)0); > ~~~~~~~~ ^ ~~~~~ > > This can be reproduced by compiling Gecode with the following commands: > > CXX=clang++ CXXFLAGS=-std=c++11 ./configure --enable-debug > make > > The attached patch fixes the error. > > Best regards, > Victor > > > > <fix-clang-c++11-error.patch>_______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
