C++: Add a changenote for Function.{isDeclaredConstexpr,isConstexpr}()

ian-semmle · ian-semmle · commit 133e2d04bef5 · 2019-02-25T12:48:48.000Z
diff --git a/change-notes/1.20/analysis-cpp.md b/change-notes/1.20/analysis-cpp.md
@@ -36,3 +36,4 @@
 
 * There is a new `Namespace.isInline()` predicate, which holds if the namespace was declared as `inline namespace`.
 * The `Expr.isConstant()` predicate now also holds for _address constant expressions_, which are addresses that will be constant after the program has been linked. These address constants do not have a result for `Expr.getValue()`.
+* There are new `Function.isDeclaredConstexpr()` and `Function.isConstexpr()` predicates. They can be used to tell whether a function was declared as `constexpr`, and whether it actually is `constexpr`.

Original file line number	Diff line number	Diff line change
`@@ -36,3 +36,4 @@`
`36`	`36`
`37`	`37`	* There is a new `Namespace.isInline()` predicate, which holds if the namespace was declared as `inline namespace`.
`38`	`38`	* The `Expr.isConstant()` predicate now also holds for _address constant expressions_, which are addresses that will be constant after the program has been linked. These address constants do not have a result for `Expr.getValue()`.
	`39`	+* There are new `Function.isDeclaredConstexpr()` and `Function.isConstexpr()` predicates. They can be used to tell whether a function was declared as `constexpr`, and whether it actually is `constexpr`.