> Sorry for the ping-pong but why's using a new char[len] type problematic?
Because the type may be incompatible with that of the STRING_CST, so we would need to build a new STRING_CST with the new type. > That said, I do like p2 more even if we need to special-case STRING_CST > sources at the end for store-merging to be happy. OK. -- Eric Botcazou