[clang] 8d72079 - Fix MSVC "not all control paths return a value" warning. NFC.

[Simon Pilgrim via cfe-commits]

Author: Simon Pilgrim
Date: 2023-11-08T10:45:20Z
New Revision: 8d72079077f8b8bf4a8d7173edbb09be083d975b

URL: https://github.com/llvm/llvm-project/commit/8d72079077f8b8bf4a8d7173edbb09be083d975b
DIFF: https://github.com/llvm/llvm-project/commit/8d72079077f8b8bf4a8d7173edbb09be083d975b.diff

LOG: Fix MSVC "not all control paths return a value" warning. NFC.

Added: 
    

Modified: 
    clang/lib/Analysis/FlowSensitive/Value.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/Analysis/FlowSensitive/Value.cpp b/clang/lib/Analysis/FlowSensitive/Value.cpp
index 80dde7c8d582358..349f873f1e6c4d9 100644
--- a/clang/lib/Analysis/FlowSensitive/Value.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Value.cpp
@@ -47,6 +47,7 @@ raw_ostream &operator<<(raw_ostream &OS, const Value &Val) {
   case Value::Kind::FormulaBool:
     return OS << "FormulaBool(" << cast<FormulaBoolValue>(Val).formula() << ")";
   }
+  llvm_unreachable("Unknown clang::dataflow::Value::Kind enum");
 }
 
 } // namespace dataflow