Patch by Oscar Dustmann: "A pure-debug loop that only contained

assertions was intended to be prevented to being seen by the compiler
if and only if assertions were off altogher.  However, due to the
omission of the letter 'n' in ifndef, the loop was compiled if and
only if assertions were *ON*.  Thus the expression inside the
assertion, was *never* compiled, let alone checked in 'Foo+Asserts'
builds. Also, it was syntactically incorrect."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158720 91177308-0d34-0410-b5e6-96231b3b80d8

0 files changed, 0 insertions, 0 deletions