From 62246ecdf529a4b50a9b0b8ee5277702d43cec5f Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Tue, 4 Jun 2019 20:45:35 -0700 Subject: [PATCH 1/2] Revert "Add release note blurb about TypeMention.toString()" This change didn't make into 1.21, so it doesn't belong in this file. This reverts commit 8c099000d97e1c184229d4b1b3364d5cebb246ea. --- change-notes/1.21/analysis-cpp.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/change-notes/1.21/analysis-cpp.md b/change-notes/1.21/analysis-cpp.md index 44142b115cf..39667c5e70a 100644 --- a/change-notes/1.21/analysis-cpp.md +++ b/change-notes/1.21/analysis-cpp.md @@ -39,5 +39,4 @@ - The taint tracking library now includes taint-specific edges for functions modeled in `semmle.code.cpp.models.interfaces.DataFlow`. - The taint tracking library adds flow through library functions that are modeled in `semmle.code.cpp.models.interfaces.Taint`. Queries can add subclasses of `TaintFunction` to specify additional flow. - There is a new `FoldExpr` class, representing C++17 fold expressions. -- The member predicates `DeclarationEntry.getUnspecifiedType`, `Expr.getUnspecifiedType`, and `Variable.getUnspecifiedType` have been added. These should be preferred over the existing `getUnderlyingType` predicates. -- The predicate `TypeMention.toString()` has been simplified to always return the string "`type mention`". This may improve performance when using `Element.toString()` or its descendants. +- The member predicates `DeclarationEntry.getUnspecifiedType`, `Expr.getUnspecifiedType`, and `Variable.getUnspecifiedType` have been added. These should be preferred over the existing `getUnderlyingType` predicates. \ No newline at end of file From 9830c69892227e427ef139a722acf4460d242861 Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Tue, 4 Jun 2019 20:47:29 -0700 Subject: [PATCH 2/2] C++: Put tostring-performance note in 1.22 file --- change-notes/1.22/analysis-cpp.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 change-notes/1.22/analysis-cpp.md diff --git a/change-notes/1.22/analysis-cpp.md b/change-notes/1.22/analysis-cpp.md new file mode 100644 index 00000000000..2db097f8215 --- /dev/null +++ b/change-notes/1.22/analysis-cpp.md @@ -0,0 +1,17 @@ +# Improvements to C/C++ analysis + +## General improvements + +## New queries + +| **Query** | **Tags** | **Purpose** | +|-----------------------------|-----------|--------------------------------------------------------------------| + +## Changes to existing queries + +| **Query** | **Expected impact** | **Change** | +|----------------------------|------------------------|------------------------------------------------------------------| + +## Changes to QL libraries + +- The predicate `TypeMention.toString()` has been simplified to always return the string "`type mention`". This may improve performance when using `Element.toString()` or its descendants.