8
Sto cercando di capire quale forma di analisi alias viene utilizzata in Visual C++.. È anche noto come analisi puntatore, analisi mod-ref, analisi puntiformi o analisi degli effetti collaterali ed è molto simile all'analisi di escape o all'analisi della forma (se dovessi vedere quei termini messi insieme).Quale forma di analisi alias utilizza Visual C++?
Se qualcuno sa dove MSDN discute questo tipo di cose, posso probabilmente trovare la mia strada da lì. (Ho provato a cercare, ma MSDN sembra essere impenetrabile se non si trascorre molto tempo lì.)
MSDN è difficile. È meglio utilizzare Google con il sito: msdn.com piuttosto che utilizzare la ricerca MSDN stessa. –
Suppongo che porterebbero più armi possibili per quanto possibile, poiché i risultati alias disabilitano molte ottimizzazioni. Quindi non aspetterei che la risposta fosse semplice. Anche se hanno usato un'analisi "punti a", ci sono molte varianti: sensibile al flusso/insensibile, sensibile al contesto o no, sensibile alla febbre o meno, intra-procedurale, interprocedura, unità di compilazione incrociate, ... Cosa c'è dietro la domanda? –
@Ira Baxter: Questo è esattamente quello che sto cercando di capire. È sensibile al flusso, al contesto, al campo, all'oggetto, ecc.? Cosa c'è dietro: sto facendo la mia recensione di letteratura per la mia tesi di dottorato, e mi sono reso conto di conoscere la risposta (o come trovare la risposta) per gcc, LLVM e alcuni altri compilatori, ma non riuscivo a trovarla per Visual C++ . –