[PATCH] D29404: [ValueTracking] emit a warning when we detect a conflicting assumption (PR31809)
Adam Nemet via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Feb 3 09:51:25 PST 2017
anemet accepted this revision.
anemet added a comment.
This LGTM now both in terms of the usage of ORE and the nature of the diagnostic. It would be good to have someone else also sign off on the choice of the diagnostics though.
Comment at: lib/Analysis/ValueTracking.cpp:80
const DominatorTree *DT;
+ OptimizationRemarkEmitter *ORE;
Say that this could really be null (unlike other analyses) because not all clients provide it currently.
More information about the llvm-commits