Ignore outdated semantic info.

src/plugins/cppeditor/cppeditor.cpp

@@ -1256,6 +1256,11 @@ Symbol *CPPEditor::findDefinition(Symbol *symbol)
     return 0;
 }
 
+SemanticInfo CPPEditor::semanticInfo() const
+{
+    return m_lastSemanticInfo;
+}
+
 bool CPPEditor::isElectricCharacter(const QChar &ch) const
 {
     if (ch == QLatin1Char('{') ||
@@ -1616,6 +1621,14 @@ void CPPEditor::semanticRehighlight()
 
 void CPPEditor::updateSemanticInfo(const SemanticInfo &semanticInfo)
 {
+    if (semanticInfo.revision != document()->revision()) {
+        // got outdated semantic info
+        semanticRehighlight();
+        return;
+    }
+
+    m_lastSemanticInfo = semanticInfo;
+
     int line = 0, column = 0;
     convertPosition(position(), &line, &column);
 

src/plugins/cppeditor/cppeditor.h

@@ -181,11 +181,12 @@ public:
 
     CPPEditor(QWidget *parent);
     ~CPPEditor();
-
     void unCommentSelection();
 
     void indentInsertedText(const QTextCursor &tc);
 
+    SemanticInfo semanticInfo() const;
+
 public Q_SLOTS:
     virtual void setFontSettings(const TextEditor::FontSettings &);
     virtual void setDisplaySettings(const TextEditor::DisplaySettings &);
@@ -302,6 +303,7 @@ private:
     bool m_inRename;
 
     SemanticHighlighter *m_semanticHighlighter;
+    SemanticInfo m_lastSemanticInfo;
 };