Nuitka-winsvc 1.8__cp311-cp311-win_amd64.whl → 2.5.1__cp311-cp311-win_amd64.whl

nuitka/nodes/VariableRefNodes.py

@@ -1,20 +1,6 @@
-#     Copyright 2023, Kay Hayen, mailto:kay.hayen@gmail.com
-#
-#     Part of "Nuitka", an optimizing Python compiler that is compatible and
-#     integrates with CPython, but also works on its own.
-#
-#     Licensed under the Apache License, Version 2.0 (the "License");
-#     you may not use this file except in compliance with the License.
-#     You may obtain a copy of the License at
-#
-#        http://www.apache.org/licenses/LICENSE-2.0
-#
-#     Unless required by applicable law or agreed to in writing, software
-#     distributed under the License is distributed on an "AS IS" BASIS,
-#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-#     See the License for the specific language governing permissions and
-#     limitations under the License.
-#
+#     Copyright 2024, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
 """ Node for variable references.
 
 These represent all variable references in the node tree. Can be in assignments
@@ -194,6 +180,7 @@ class ExpressionVariableRefBase(ExpressionBase):
         # Any code could be run, note that.
         trace_collection.onControlFlowEscape(in_node)
 
+        # TODO: Add "set" shape here as well.
         if self.variable_trace.hasShapeDictionaryExact():
             tags = "new_expression"
             message = """\
@@ -331,6 +318,23 @@ Subscript del to dictionary lowered to dictionary del."""
 Subscript look-up to dictionary lowered to dictionary look-up.""",
             )
 
+        if subscript.isCompileTimeConstant():
+            attribute_node = self.variable_trace.getAttributeNode()
+
+            if attribute_node is not None:
+                # TODO: That could probably be one single question.
+                if (
+                    attribute_node.isCompileTimeConstant()
+                    and not attribute_node.isMutable()
+                ):
+                    return trace_collection.getCompileTimeComputationResult(
+                        node=lookup_node,
+                        computation=lambda: attribute_node.getCompileTimeConstant()[
+                            subscript.getCompileTimeConstant()
+                        ],
+                        description="Subscript of variable immutable value.",
+                    )
+
         # Any code could be run, note that.
         trace_collection.onControlFlowEscape(self)
 
@@ -358,6 +362,12 @@ Subscript look-up to dictionary lowered to dictionary look-up.""",
         # Need to compute the replacement still.
         return replacement.computeExpressionRaw(trace_collection)
 
+    def getTruthValue(self):
+        return self.variable_trace.getTruthValue()
+
+    def getComparisonValue(self):
+        return self.variable_trace.getComparisonValue()
+
 
 _hard_names = ("dir", "eval", "exec", "execfile", "locals", "vars", "super")
 
@@ -378,6 +388,10 @@ class ExpressionVariableRef(ExpressionVariableRefBase):
     def isExpressionVariableRef():
         return True
 
+    @staticmethod
+    def isExpressionVariableRefOrTempVariableRef():
+        return True
+
     def getDetails(self):
         return {"variable": self.variable}
 
@@ -423,6 +437,15 @@ class ExpressionVariableRef(ExpressionVariableRefBase):
             # could be decided from context.
             trace_collection.onExceptionRaiseExit(BaseException)
 
+        very_trusted_node = self.variable_trace.getAttributeNodeVeryTrusted()
+        if very_trusted_node is not None:
+            return (
+                very_trusted_node.makeClone(),
+                "new_expression",
+                lambda: "Forward propagating value of %s from very trusted %s value."
+                % (self.getVariableName(), very_trusted_node.kind),
+            )
+
         if variable.isModuleVariable() and (
             variable.hasDefiniteWrites() is False or variable.getName() == "super"
         ):
@@ -497,7 +520,7 @@ Replaced read-only module attribute '__package__' with module attribute referenc
                 change_tags = "new_expression"
                 change_desc = """\
 Replaced read-only module attribute '__loader__' with module attribute reference."""
-            elif variable_name == "__spec__" and python_version >= 0x340:
+            elif variable_name == "__spec__" and python_version >= 0x300:
                 new_node = ExpressionModuleAttributeSpecRef(
                     variable=variable, source_ref=self.source_ref
                 )
@@ -589,7 +612,7 @@ Replaced read-only module attribute '__spec__' with module attribute reference."
                     return (
                         bool(attribute_node.getCompileTimeConstant()),
                         attribute_node.makeClone(),
-                        "Using very trusted constant truth value.",
+                        "Using trusted constant's truth value.",
                     )
 
         # TODO: This is probably only default stuff here, that could be compressed.
@@ -630,18 +653,12 @@ Replaced read-only module attribute '__spec__' with module attribute reference."
             self.variable_trace is not None and self.variable_trace.hasShapeBoolExact()
         )
 
-    def getTruthValue(self):
-        return self.variable_trace.getTruthValue()
-
-    def getComparisonValue(self):
-        return self.variable_trace.getComparisonValue()
-
     @staticmethod
     def isKnownToBeIterable(count):
         return None
 
     def mayHaveSideEffects(self):
-        return not self.variable_trace.mustHaveValue()
+        return self.variable_trace is None or not self.variable_trace.mustHaveValue()
 
     def mayRaiseException(self, exception_type):
         return self.variable_trace is None or not self.variable_trace.mustHaveValue()
@@ -710,6 +727,10 @@ class ExpressionTempVariableRef(
     def isExpressionTempVariableRef():
         return True
 
+    @staticmethod
+    def isExpressionVariableRefOrTempVariableRef():
+        return True
+
     @classmethod
     def fromXML(cls, provider, source_ref, **args):
         assert cls is ExpressionTempVariableRef, cls
@@ -856,3 +877,19 @@ class ExpressionTempVariableRef(
     def isKnownToBeIterableAtMin(count):
         # TODO: See through the variable current trace.
         return None
+
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.

nuitka/nodes/VariableReleaseNodes.py

@@ -1,20 +1,6 @@
-#     Copyright 2023, Kay Hayen, mailto:kay.hayen@gmail.com
-#
-#     Part of "Nuitka", an optimizing Python compiler that is compatible and
-#     integrates with CPython, but also works on its own.
-#
-#     Licensed under the Apache License, Version 2.0 (the "License");
-#     you may not use this file except in compliance with the License.
-#     You may obtain a copy of the License at
-#
-#        http://www.apache.org/licenses/LICENSE-2.0
-#
-#     Unless required by applicable law or agreed to in writing, software
-#     distributed under the License is distributed on an "AS IS" BASIS,
-#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-#     See the License for the specific language governing permissions and
-#     limitations under the License.
-#
+#     Copyright 2024, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
 """ Nodes for variable release
 
 These refer to resolved variable objects.
@@ -149,3 +135,19 @@ def makeStatementsReleaseVariables(variables, source_ref):
         makeStatementReleaseVariable(variable=variable, source_ref=source_ref)
         for variable in variables
     )
+
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.

nuitka/nodes/YieldNodes.py

@@ -1,20 +1,6 @@
-#     Copyright 2023, Kay Hayen, mailto:kay.hayen@gmail.com
-#
-#     Part of "Nuitka", an optimizing Python compiler that is compatible and
-#     integrates with CPython, but also works on its own.
-#
-#     Licensed under the Apache License, Version 2.0 (the "License");
-#     you may not use this file except in compliance with the License.
-#     You may obtain a copy of the License at
-#
-#        http://www.apache.org/licenses/LICENSE-2.0
-#
-#     Unless required by applicable law or agreed to in writing, software
-#     distributed under the License is distributed on an "AS IS" BASIS,
-#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-#     See the License for the specific language governing permissions and
-#     limitations under the License.
-#
+#     Copyright 2024, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
 """ Yield node.
 
 The yield node returns to the caller of the generator and therefore may execute
@@ -104,7 +90,7 @@ class ExpressionYieldFrom(ExpressionYieldBase):
     kind = "EXPRESSION_YIELD_FROM"
 
 
-class ExpressionYieldFromWaitable(ExpressionYieldBase):
+class ExpressionYieldFromAwaitable(ExpressionYieldBase):
     """Yielding from an expression.
 
     Typical code: await x, async for ..., async with (Python3.5)
@@ -116,4 +102,20 @@ class ExpressionYieldFromWaitable(ExpressionYieldBase):
     slots and have dedicated nodes.
     """
 
-    kind = "EXPRESSION_YIELD_FROM_WAITABLE"
+    kind = "EXPRESSION_YIELD_FROM_AWAITABLE"
+
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.

nuitka/nodes/__init__.py

@@ -1,5 +1,8 @@
-#     Copyright 2023, Kay Hayen, mailto:kay.hayen@gmail.com
-#
+#     Copyright 2024, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
+""" Dummy file to make this directory a package. """
+
 #     Part of "Nuitka", an optimizing Python compiler that is compatible and
 #     integrates with CPython, but also works on its own.
 #
@@ -14,5 +17,3 @@
 #     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 #     See the License for the specific language governing permissions and
 #     limitations under the License.
-#
-""" Dummy file to make this directory a package. """