github
diff --git a/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll‎
Lines changed: 6 additions & 2 deletions b/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll‎
Lines changed: 6 additions & 2 deletions
@@ -658,14 +658,18 @@ newtype TTranslatedElement =
         t instanceof ReferenceType
       ) and
       (
-        isWrite = true or
+        isWrite = true and
+        not call.getTarget().getParameter(n).getType().isDeeplyConstBelow()
+        or
         isWrite = false
       )
       or
       not call.getTarget() instanceof SideEffectFunction and
       n = -1 and
       (
-        isWrite = true or
+        isWrite = true and
+        not call.getTarget() instanceof ConstMemberFunction
+        or
         isWrite = false
       )
     ) and
Original file line number	Diff line number	Diff line change
`@@ -658,14 +658,18 @@ newtype TTranslatedElement =`
`658`	`658`	`t instanceof ReferenceType`
`659`	`659`	`) and`
`660`	`660`	`(`
`661`		`- isWrite = true or`
	`661`	`+ isWrite = true and`
	`662`	`+ not call.getTarget().getParameter(n).getType().isDeeplyConstBelow()`
	`663`	`+ or`
`662`	`664`	`isWrite = false`
`663`	`665`	`)`
`664`	`666`	`or`
`665`	`667`	`not call.getTarget() instanceof SideEffectFunction and`
`666`	`668`	`n = -1 and`
`667`	`669`	`(`
`668`		`- isWrite = true or`
	`670`	`+ isWrite = true and`
	`671`	`+ not call.getTarget() instanceof ConstMemberFunction`
	`672`	`+ or`
`669`	`673`	`isWrite = false`
`670`	`674`	`)`
`671`	`675`	`) and`