python: exclude nonlocals from query

Author: yoff

python/ql/src/Variables/UninitializedLocal.ql

@@ -15,7 +15,7 @@ import Undefined
 import semmle.python.pointsto.PointsTo
 
 predicate uninitialized_local(NameNode use) {
-  exists(FastLocalVariable local | use.uses(local) or use.deletes(local) | not local.escapes()) and
+  exists(FastLocalVariable local | use.uses(local) or use.deletes(local) | not local.escapes() and not local = any(Nonlocal nl).getAVariable()) and
   (
     any(Uninitialized uninit).taints(use) and
     PointsToInternal::reachableBlock(use.getBasicBlock(), _)

python/ql/test/query-tests/Variables/undefined/UninitializedLocal.expected

@@ -11,5 +11,4 @@
 | UninitializedLocal.py:163:7:163:7 | x | Local variable 'x' may be used before it is initialized. |
 | UninitializedLocal.py:176:16:176:16 | x | Local variable 'x' may be used before it is initialized. |
 | UninitializedLocal.py:178:16:178:16 | y | Local variable 'y' may be used before it is initialized. |
-| captured.py:8:15:8:17 | foo | Local variable 'foo' may be used before it is initialized. |
 | odasa3987.py:11:8:11:10 | var | Local variable 'var' may be used before it is initialized. |