[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-bugs] csmith 4780876: signed/unsigned warning

At the head of the current GitHub csmith master branch (4780876),
with g++ 4.2.1 on my Mac with Mac OS X 10.6.8,

  g++ [...] FactUnion.cpp
  FactUnion.cpp: In static member function 'static bool
    FactUnion::is_field_readable(const Variable*, int, const std::vector<const
    Fact*, std::allocator<const Fact*> >&)':
  FactUnion.cpp:281: warning: comparison between signed and unsigned integer


Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX