diff --git a/BreakingChanges.md b/BreakingChanges.md index 77da5377ba..c8805cfbb8 100644 --- a/BreakingChanges.md +++ b/BreakingChanges.md @@ -2,13 +2,17 @@ ## development HEAD +- *None* + +## v2610 + - Existing IFDS/IDE problems provided by PhASAR do no longer inherit from `IFDSTabulationProblem`/`IDETabulationProblem`. The solvers can now deal with them without polymorphic inheritance hierarchy. However, **you cannot cast an analysis problem to one of these base classes anymore**. If that's required (unlikely), wrap your problem in a `LegacyIDEProblemWrapper`. - Although the IFDS/IDETabulationProblem classes still work, new IFDS/IDE analysis problems should conform to the `IFDSProblem`/`IDEProblem` concepts instead. Use `IfdsIdeProblemMixin` as helper for that. - `IDESolver` and `IFDSSolver` now take analysis problems by pointer instead of by reference to better document that they capture the address (without taking ownership). - `FlowFunctionPtrType` is now a move-only type. - Removed the CRTP-template `ProjectIRDBBase`. Use the concept `ProjectIRDB` instead. - Removed `EdgeFunction::equals`. Use `operator==` instead. -- Removed ctor-overloads of `LLVMProjectIRDB` that use the `EnableOpaquePointers` parameter. LLVM is removing support for opaque pointers. Use the other ctors instead. +- Removed ctor-overloads of `LLVMProjectIRDB` that use the `EnableOpaquePointers` parameter. LLVM is removing support for non-opaque pointers. Use the other ctors instead. - Removed type-trait `has_getAsJson`, as it is not used in our codebase anymore. We switched from `getAsJson` to `printAsJson` a while ago. ## v2604 diff --git a/CMakeLists.txt b/CMakeLists.txt index 1f6ee96139..2171b80bdb 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -21,7 +21,7 @@ if (DEFINED LLVM_MAIN_SRC_DIR) set(PHASAR_IN_TREE 1) endif() -set(PHASAR_VERSION 2604) +set(PHASAR_VERSION 2610) if (NOT PHASAR_IN_TREE) project (phasar LANGUAGES C CXX diff --git a/examples/use-phasar-with-fetch-content/CMakeLists.txt b/examples/use-phasar-with-fetch-content/CMakeLists.txt index 026e29fcee..9195fc4fe5 100644 --- a/examples/use-phasar-with-fetch-content/CMakeLists.txt +++ b/examples/use-phasar-with-fetch-content/CMakeLists.txt @@ -11,7 +11,7 @@ include(FetchContent) FetchContent_Declare( phasar GIT_REPOSITORY https://github.com/secure-software-engineering/phasar.git - GIT_TAG development # At best, use a tagged version, such as v2604 + GIT_TAG development # At best, use a tagged version, such as v2610 EXCLUDE_FROM_ALL OVERRIDE_FIND_PACKAGE )