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

[Eric Eide <eeide@cs.utah.edu>]

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
    expressions

Eric.

-- 
-------------------------------------------------------------------------------
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