Pointer Handling Issue

[jkwoods]

A lot of pointer things work ... not sure why this one doesn't.

int bar() {
   int  var[] = {10, 100, 200};
   int *ptr[3];
 
   for (int i = 0; i < 3; i++) {
      ptr[i] = &var[i];
   }
}

[alex-ozdemir]

Our pointer/memory system could definitely be improved. Generally speaking, it doesn't allow for arrays of pointers.
Designing something better would be certainly be good.

[jkwoods]

Additionally, presenting this in the context of strings. Support for strings would help implement a toy application like wordcount.

int strings() {
  const char *hw[2];
  hw[0] = "Hello";
  hw[1] = "World";
  return 0;
}

[sga001]

@kwantam : given that Waksman network stuff was merged recently, would that help address this pointer problem?

In general, I think we don't really support non-numeric applications (e.g., word count) since we can't have strings in a container.

[kwantam]

I don't think #16 addressed this issue. I'm guessing this is in the translation from C to TySmt. @alex-ozdemir, is that right?

[alex-ozdemir]

Yep! The C-to-TySmt translation is the problem here.