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

[csmith-project/csmith] 6a40ee: Fixed a bug that caused integer overflow

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith
  Commit: 6a40ee4078aa733724dc2e8e9576d374ff7c5191
      https://github.com/csmith-project/csmith/commit/6a40ee4078aa733724dc2e8e9576d374ff7c5191
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-12-29 (Mon, 29 Dec 2014)

  Changed paths:
    M src/StatementFor.cpp

  Log Message:
  -----------
  Fixed a bug that caused integer overflow

Generate a decr operator for the update section of a loop if:
  * the loop init value equals to its limit value, and;
  * the condition operator is >=