8
Ich versuche herauszufinden, welche Form von Alias-Analyse in Visual C++ verwendet wird. Es ist auch bekannt als Pointer-Analyse, Mod-Ref-Analyse, Punkt-zu-Analyse oder Nebeneffekt-Analyse, und ist ziemlich nah an Flucht-Analyse oder Form-Analyse (wenn Sie gesehen haben, dass diese Begriffe verbreitet).Welche Form der Alias-Analyse verwendet Visual C++?
Wenn jemand weiß, wo MSDN solche Dinge diskutiert, kann ich wahrscheinlich meinen Weg von dort finden. (Ich habe versucht, die Suche, aber MSDN scheint undurchdringlich zu sein, wenn man dort viel Zeit verbringen nicht.)
MSDN ist hart. Es ist besser, Google mit der Website msdn.com zu verwenden, als die MSDN-Suche selbst zu verwenden. –
Ich würde annehmen, dass sie so viele Waffen wie möglich mitbringen würden, da Aliasresultate viele Optimierungen unmöglich machen. Ich würde also nicht erwarten, dass die Antwort einfach ist. Selbst wenn sie eine "Punkt-zu-Punkt" -Analyse verwenden, gibt es eine Vielzahl von Variationen: Flusssensitiv/Insensitiv, Kontextsensitiv oder nicht, Quellempfindlich oder nicht, Intra-, Interprozedur-, Kreuzkompilierungseinheiten, ... Was ist dahinter? die Frage? –
@Ira Baxter: Genau das versuche ich herauszufinden. Ist es Fluss-, Kontext-, Feld-, Objekt-, etc. empfindlich? Was ist dahinter: Ich mache meine Literaturrecherche für meine Doktorarbeit, und mir wurde klar, dass ich die Antwort (oder wie ich die Antwort finde) für gcc, LLVM und einige andere Compiler kenne, aber ich konnte sie nicht für Visual C++ finden . –