If the results are used for compiler optimizations, they should provide conservative information, i.e. when applying the information, the program should not change semantics.
Ако се резултати користе за оптимизацију компајлера, они би требало да пруже конзервативне информације, тј. када се те информације примене, програм не би требало да мења семантику.