Fix #12320 FP knownConditionTrueFalse with strtok()

[chrchr-github]

No description provided.

[firewave]

We should probably add an explicit ProgramMemory test. I would also be interested in more details why this differed between compilers.

[chrchr-github]

std::unordered_map makes not guarantees about the order of the elements. And in this case, the content of the map is used to determine if an element should be erased. That logic might still have problems.