Luke Cartey

pole error on `log` of `0`?

In general we seem to be missing all the pole cases.

Another example: ```cpp constexpr T& front() noexcept { return values_[0]; } ```

This happens when either: * The template function has no definition in the database. * The template function has no definition.

Re-reviewing the original bug report I believe I misdiagnosed this issue - it is actually completely unrelated to templates. A fuller reproduction case is as follows: ```cpp class Test {...

In debugging this issue, I identified a couple more problems with `A7-1-7` and logged those separately: * https://github.com/github/codeql-coding-standards/issues/629 * https://github.com/github/codeql-coding-standards/issues/630

We are awaiting more feedback, as we don't know what side-effect we might be missing for this case.

Thanks for reporting this. We didn't implement this rule because: 1. The CodeQL database doesn't currently store information about the digraphs used. 2. We believe that any program that uses...