Update UndefinedOrImplementationDefinedBehavior.ql

ihsinme · web-flow · commit 74f372d547ce · 2021-08-16T14:11:28.000+03:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-758/UndefinedOrImplementationDefinedBehavior.ql b/cpp/ql/src/experimental/Security/CWE/CWE-758/UndefinedOrImplementationDefinedBehavior.ql
@@ -163,4 +163,4 @@ where
     or
     eots.dangerousCrementChanges()
   )
-select eots, "This expression may have undefined behavior."
+select eots, "This expression may have undefined behavior, because the order of evaluation is not specified."

Original file line number	Diff line number	Diff line change
`@@ -163,4 +163,4 @@ where`
`163`	`163`	`or`
`164`	`164`	`eots.dangerousCrementChanges()`
`165`	`165`	`)`
`166`		`-select eots, "This expression may have undefined behavior."`
	`166`	`+select eots, "This expression may have undefined behavior, because the order of evaluation is not specified."`