From: Aaron Puchert <aaron.puchert@sap.com>
Date: Fri, 15 Mar 2019 02:30:07 +0000 (+0000)
Subject: Add missing override specifier [NFC]
X-Git-Tag: llvmorg-10-init~9910
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=2f741868ed7722466e70f13cab044d4ac94a30dd;p=platform%2Fupstream%2Fllvm.git

Add missing override specifier [NFC]

This should fix a -Winconsistent-missing-override warning that is only
visible when Z3 is enabled.

llvm-svn: 356228
---

diff --git a/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
index 73474cc..59eeb07 100644
--- a/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
+++ b/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
@@ -102,7 +102,7 @@ public:
       Z3_dec_ref(Context.Context, reinterpret_cast<Z3_ast>(Sort));
   }
 
-  void Profile(llvm::FoldingSetNodeID &ID) const {
+  void Profile(llvm::FoldingSetNodeID &ID) const override {
     ID.AddInteger(
         Z3_get_ast_id(Context.Context, reinterpret_cast<Z3_ast>(Sort)));
   }