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

[csmith-project/csmith] 524f6b: fix a bug in selecting loop control variables.

To: csmith-commits@flux.utah.edu
Subject: [csmith-project/csmith] 524f6b: fix a bug in selecting loop control variables.
From: Xuejun Yang <jxyang@cs.utah.edu>
Date: Fri, 22 Jul 2011 21:37:30 -0700
List-archive: </listarchives/csmith-commits>
List-help: <mailto:csmith-commits-request@flux.utah.edu?subject=help>
List-id: Csmith Commit-Message Mailing List <csmith-commits.flux.utah.edu>
List-post: <mailto:csmith-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=unsubscribe>
Reply-to: Xuejun Yang <jxyang@cs.utah.edu>

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: 524f6b54835766d0dddfca3f535915c6377ee52b
      https://github.com/csmith-project/csmith/commit/524f6b54835766d0dddfca3f535915c6377ee52b
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-07-22 (Fri, 22 Jul 2011)

  Changed paths:
    M src/StatementFor.cpp
  M src/Type.cpp
  M src/VariableSelector.cpp

  Log Message:
  -----------
  fix a bug in selecting loop control variables.

No union integer fields should be selected as loop control variable if another field is pointer because stepping could potentially invalidate the pointer analysis

Prev by Date: [csmith-project/csmith] 308848: formalizing effect analysis for assignments
Next by Date: [csmith-project/csmith] 24013d: fix a typo
Previous by thread: [csmith-project/csmith] 308848: formalizing effect analysis for assignments
Next by thread: [csmith-project/csmith] 24013d: fix a typo
Index(es):
- Date
- Thread