Dan Gohman 6134fbccef Fix a bogus srem rule - a negative value srem'd by a power-of-2 ... can have a non-negative result; for example, -16%16 is 0. Also, clarify the related comments. This fixes PR2670. llvm-svn: 54767		2008-08-13 23:12:35 +00:00
clang	Renamed GRState::CheckerStatePrinter to GRState::Printer.	2008-08-13 21:24:49 +00:00
llvm	Fix a bogus srem rule - a negative value srem'd by a power-of-2	2008-08-13 23:12:35 +00:00