From ba73c5745c55aba92fa28b4d867bf9faf96e0085 Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Wed, 26 Oct 2022 09:08:44 -0400
Subject: [PATCH] Update cclyzer++ to v0.5.0

See:

- https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.5.0
- https://galoisinc.github.io/cclyzerpp/changelog.html#v0-5-0-2022-10-21
---
 frontend/mate-common/mate_common/models/builds.py | 1 -
 llvm/CMakeLists.txt                               | 3 +++
 llvm/PointerAnalysis                              | 2 +-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/frontend/mate-common/mate_common/models/builds.py b/frontend/mate-common/mate_common/models/builds.py
index eca269e..ccdc4b5 100644
--- a/frontend/mate-common/mate_common/models/builds.py
+++ b/frontend/mate-common/mate_common/models/builds.py
@@ -23,7 +23,6 @@ class PointerAnalysis(str, enum.Enum):
     """
 
     DEBUG = "debug"
-    SUBSET_AND_UNIFICATION = "subset-and-unification"
     SUBSET = "subset"
     UNIFICATION = "unification"
 
diff --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
index c6734d7..4694652 100644
--- a/llvm/CMakeLists.txt
+++ b/llvm/CMakeLists.txt
@@ -35,7 +35,10 @@ find_program(
   NAMES "clang-format"
   DOC "Path to clang-format executable.")
 
+# cclyzer++ builds against LLVM 11 by default, override this.
+set(LLVM_MAJOR_VERSION 10)
 add_subdirectory(PointerAnalysis)
+
 add_subdirectory(MATE)
 add_subdirectory(headache)
 add_subdirectory(nomina)
diff --git a/llvm/PointerAnalysis b/llvm/PointerAnalysis
index 7d88c58..47bea4c 160000
--- a/llvm/PointerAnalysis
+++ b/llvm/PointerAnalysis
@@ -1 +1 @@
-Subproject commit 7d88c58d2f8608c36eef868ffc53fa87d5053a34
+Subproject commit 47bea4c4223d653209d28b932824618128f47910