#include <testharness.h>
#include <stdio.h>

void BuildWord(char * pchWord) {
    int i;
    char * pch = pchWord;

    /* original code: 
     * while ((i = *pch++) != '\0') { } 
     */

    do {
      i = *pch;
      // printf("i = '%c'\n",i); 
      pch++;
    } while (i != '\0'); 

    printf("%s\n",pchWord); 
}

int main() {
  char *test = "foo"; 

  test++;
  test--;

  BuildWord(test);

  SUCCESS; 
} 

#include <testharness.h>
#include <stdio.h>

void BuildWord(char * pchWord) {
    int i;
    char * pch = pchWord;

    /* original code: 
     * while ((i = *pch++) != '\0') { } 
     */

    do {
      i = *pch;
      pch++;
    } while (i != '\0'); 

    printf("%s\n",pchWord); 
}

int main() {
  char *test = "foo"; 

  BuildWord(test);

  SUCCESS; 
} 

--- 
+++ 
@@ -11,6 +11,7 @@
 
     do {
       i = *pch;
+      // printf("i = '%c'\n",i); 
       pch++;
     } while (i != '\0'); 
 
@@ -20,6 +21,9 @@
 int main() {
   char *test = "foo"; 
 
+  test++;
+  test--;
+
   BuildWord(test);
 
   SUCCESS; 
Switch the world over to the new 'paper' solver. Local regression tests
indicate that it shouldn't be that bad: new models and wrappers have been
added to support it. INFERBOX=infer is now the new solver, INFERBOX=old
gives the old behavior (will be removed later).
