Merge pull request #415 from smowton/smowton/feature/errorf-returns-non-nil

Note that `fmt.Errorf` returns non-nil
This commit is contained in:
Chris Smowton
2020-12-01 12:04:23 +00:00
committed by GitHub

View File

@@ -1285,6 +1285,8 @@ private predicate certainlyReturnsNonNil(Function f, FunctionOutput output) {
(
f.hasQualifiedName("errors", "New")
or
f.hasQualifiedName("fmt", "Errorf")
or
f in [Builtin::new(), Builtin::make()]
or
exists(FuncDecl fd | fd = f.getFuncDecl() |