From a72d05ccdbcef4e1d0fb5e2eb6d6bbe2cb73f409 Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Tue, 18 Aug 2020 15:07:35 +0200 Subject: [PATCH] C++: Change note for *= and constant * --- change-notes/1.26/analysis-cpp.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/change-notes/1.26/analysis-cpp.md b/change-notes/1.26/analysis-cpp.md index 867320915a9..6838e8ca642 100644 --- a/change-notes/1.26/analysis-cpp.md +++ b/change-notes/1.26/analysis-cpp.md @@ -20,4 +20,4 @@ The following changes in version 1.26 affect C/C++ analysis in all applications. * The models library now models more taint flows through `std::string`. * The `SimpleRangeAnalysis` library now supports multiplications of the form - `e1 * e2` when `e1` and `e2` are unsigned. + `e1 * e2` and `x *= e2` when `e1` and `e2` are unsigned or constant.