Update cpp/ql/src/semmle/code/cpp/exprs/Expr.qll

geoffw0 · jbj · web-flow · commit 0f2a2cb956f5 · 2019-11-14T11:31:01.000Z
Co-Authored-By: Jonas Jensen &lt;jbj@github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
@@ -557,7 +557,7 @@ class ErrorExpr extends Expr, @errorexpr {
 /**
  * A Microsoft C/C++ __assume expression.
  *
- * Unlike `assert`, `__assume` is evaluated at compile-time and
+ * Unlike `assert`, `__assume` is evaluated at compile time and
  * is treated as a hint to the optimizer
  * ```
  * __assume(ptr < end_buf);

Original file line number	Diff line number	Diff line change
`@@ -557,7 +557,7 @@ class ErrorExpr extends Expr, @errorexpr {`
`557`	`557`	`/**`
`558`	`558`	`* A Microsoft C/C++ __assume expression.`
`559`	`559`	`*`
`560`		- * Unlike `assert`, `__assume` is evaluated at compile-time and
	`560`	+ * Unlike `assert`, `__assume` is evaluated at compile time and
`561`	`561`	`* is treated as a hint to the optimizer`
`562`	`562`	* ```
`563`	`563`	`* __assume(ptr < end_buf);`