dbg

Author: hvitved

rust/ql/test/utils-tests/modelgenerator/CaptureSummaryModels.expected

@@ -1,2 +1,3 @@
 unexpectedModel
+| Unexpected summary found: <test::option::MyOption>::as_deref;Argument[self].Reference.Field[test::option::MyOption::MySome(0)];ReturnValue.Field[test::option::MyOption::MySome(0)].Reference;value;dfc-generated |
 expectedModel

shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll

@@ -649,7 +649,9 @@ module MakeModelGeneratorFactory<
       private module PropagateContentFlowConfig implements ContentDataFlow::ConfigSig {
         predicate isSource(DataFlow::Node source) {
           source instanceof DataFlow::ParameterNode and
-          getEnclosingCallable(source) instanceof DataFlowSummaryTargetApi
+          getEnclosingCallable(source) instanceof DataFlowSummaryTargetApi //and
+          // source.getLocation().getStartLine() = 315 and
+          // source.getLocation().getStartColumn() > 36
         }
 
         predicate isSink(DataFlow::Node sink) {