Skip to content

Commit 7c44764

Browse files
committed
C++: Change note for isConstant changes
1 parent b3f46d7 commit 7c44764

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

change-notes/1.20/analysis-cpp.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,4 +19,5 @@
1919

2020
## Changes to QL libraries
2121

22-
There is a new `Namespace.isInline()` predicate, which holds if the namespace was declared as `inline namespace`.
22+
* There is a new `Namespace.isInline()` predicate, which holds if the namespace was declared as `inline namespace`.
23+
* 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()`.

0 commit comments

Comments
 (0)