diff --git a/shared/dataflow/codeql/dataflow/VariableCapture.qll b/shared/dataflow/codeql/dataflow/VariableCapture.qll index 0ba44be5ea1f..6f4c714f5258 100644 --- a/shared/dataflow/codeql/dataflow/VariableCapture.qll +++ b/shared/dataflow/codeql/dataflow/VariableCapture.qll @@ -214,6 +214,7 @@ module Flow< final private class CfgBb = Cfg::BasicBlock; private class BasicBlock extends CfgBb { + /** Gets the callable that contains this basic block. */ Callable getEnclosingCallable() { result = basicBlockGetEnclosingCallable(this) } } diff --git a/shared/util/codeql/util/Option.qll b/shared/util/codeql/util/Option.qll index 77cc89504f58..a66c1dc0650f 100644 --- a/shared/util/codeql/util/Option.qll +++ b/shared/util/codeql/util/Option.qll @@ -128,6 +128,7 @@ module LocatableOption::LocatableTy * given type. */ class Option extends BaseOption { + /** Gets the location of this option. For `None`, returns an empty location. */ Location getLocation() { result = this.asSome().getLocation() or