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

Co-Authored-By: Jonas Jensen <jbj@github.com>
This commit is contained in:
Geoffrey White
2019-11-14 11:31:01 +00:00
committed by GitHub
parent 25db90021b
commit 0f2a2cb956

View File

@@ -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);