LLVM 12

.github/workflows/ci.yml

@@ -20,8 +20,8 @@ env:
   # will error - we use Clang to compile test programs, and cclyzer++ must be
   # able to read the bitcode it outputs. We currently only run tests with the
   # most recent (matching) Clang/LLVM combination.
-  LLVM_MAJOR_VERSION: "11"
-  CLANG_VERSION: "11"
+  LLVM_MAJOR_VERSION: "12"
+  CLANG_VERSION: "12"
   UBUNTU_VERSION: "20.04"
   UBUNTU_NAME: "focal"
 
@@ -48,6 +48,7 @@ jobs:
         llvm_version:
           - "10"
           - "11"
+          - "12"
     env:
       LLVM_MAJOR_VERSION: ${{ matrix.llvm_version }}
     steps:

CMakeLists.txt

@@ -6,7 +6,7 @@ project(cclyzer++ LANGUAGES C CXX VERSION 0.5.0)
 # -----------------------------------------------------------------------------
 
 if(NOT (DEFINED LLVM_MAJOR_VERSION))
-  set(LLVM_MAJOR_VERSION 11)
+  set(LLVM_MAJOR_VERSION 12)
 endif()
 
 find_package(LLVM ${LLVM_MAJOR_VERSION}.0 REQUIRED CONFIG)

FactGenerator/src/TypeVisitor.cpp

@@ -87,7 +87,7 @@ void TypeVisitor::visitType(const llvm::Type *type) {
     case llvm::Type::BFloatTyID:  // TODO: handle this type
       break;
 #endif
-#if LLVM_VERSION_MAJOR > 12
+#if LLVM_VERSION_MAJOR > 11
     case llvm::Type::X86_AMXTyID:  // TODO: handle this type
       break;
 #endif

doc/changelog.rst

@@ -7,6 +7,12 @@ Changelog
 next
 ****
 
+Changed
+~~~~~~~
+
+- cclyzer++ now builds against (and requires) LLVM 12. See :doc:`build` for how
+  to build against other versions of LLVM.
+
 `v0.5.0`_ - 2022-10-21
 **********************
 

doc/overview.rst

@@ -40,7 +40,7 @@ other external libraries. Such models are crucial for soundness. See
 Language Support
 ----------------
 
-cclyzer++ has primarily been tested on LLVM code produced by Clang 10 and 11
+cclyzer++ has primarily been tested on LLVM code produced by Clang 10 through 12
 when compiling from C and C++ for x86_64. Your mileage may vary with other
 languages, compilers, and targets.
 
@@ -66,7 +66,7 @@ Comparison to cclyzer
 As mentioned above, cclyzer++ is based on cclyzer. The major differences are that
 cclyzer++
 
-* supports LLVM 10 and 11
+* supports LLVM 10 through 12
 * is implemented in Soufflé rather than LogicBlox
 * has :ref:`a C++ interface <cpp>`, rather than a Python one
 * has runtime-configurable context-sensitivity and heap-cloning
@@ -106,13 +106,13 @@ LLVM Library Version
 
 .. TODO(lb): Policy for supporting different LLVM versions
 
-cclyzer++ currently builds against LLVM 11 by default and can be built with
+cclyzer++ currently builds against LLVM 12 by default and can be built with
 LLVM 10. There are `plans <llvmver>`_ to support recent versions.
 
 Development Tools
 *****************
 
-cclyzer++ currently builds with Clang 11 (including other Clang tools such as
+cclyzer++ currently builds with Clang 12 (including other Clang tools such as
 clang-format and clang-tidy). There are `plans <llvmver>`_ to build with more
 recent versions of Clang.
 

docker/dev.dockerfile

@@ -8,8 +8,8 @@ ARG UBUNTU_NAME=focal
 ARG UBUNTU_VERSION=20.04
 FROM ubuntu:$UBUNTU_VERSION as dev
 # See NOTE[Clang+LLVM] in ci.yml
-ARG CLANG_VERSION=11
-ARG LLVM_MAJOR_VERSION=11
+ARG CLANG_VERSION=12
+ARG LLVM_MAJOR_VERSION=12
 # https://docs.docker.com/engine/reference/builder/#understand-how-arg-and-from-interact
 ARG UBUNTU_NAME
 ARG UBUNTU_VERSION

test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv

@@ -37,7 +37,7 @@
 [<<main-context>>, nil]	*stack_alloc@main[%"class.std::allocator"* %ref.tmp][0].?/0	*stack_alloc@main[%"class.std::allocator"* %ref.tmp][0].?/0
 [<<main-context>>, nil]	*typed_stack_alloc@_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag[i8* %__dnew]	*typed_stack_alloc@_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag[i8* %__dnew]
 [<cxxbasic.cpp>:main:19, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
-[<cxxbasic.cpp>:main:34, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
+[<cxxbasic.cpp>:main:30, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
 nil	*argv-alloc	*argv-alloc
 nil	*argv-alloc	*argv-alloc[0]
 nil	*argv-alloc[0]	*argv-alloc

test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv

@@ -37,7 +37,7 @@
 [<<main-context>>, nil]	*stack_alloc@main[%"class.std::allocator"* %ref.tmp][0].?/0	*stack_alloc@main[%"class.std::allocator"* %ref.tmp][0].?/0
 [<<main-context>>, nil]	*typed_stack_alloc@_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag[i8* %__dnew]	*typed_stack_alloc@_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag[i8* %__dnew]
 [<cxxbasic.cpp>:main:19, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
-[<cxxbasic.cpp>:main:34, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
+[<cxxbasic.cpp>:main:30, nil]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]	*stack_alloc@_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c[i8* %__c.addr]
 nil	*argv-alloc	*argv-alloc
 nil	*argv-alloc	*argv-alloc[0]
 nil	*argv-alloc[0]	*argv-alloc