Nuitka-winsvc 2.4.11__cp311-cp311-win_amd64.whl → 2.5.6__cp311-cp311-win_amd64.whl

nuitka/nodes/OsSysNodes.py

@@ -5,18 +5,22 @@
 
 import os
 
-from .BuiltinRefNodes import ExpressionBuiltinExceptionRef
 from .ConstantRefNodes import makeConstantRefNode
-from .ExceptionNodes import ExpressionRaiseException
+from .ExceptionNodes import (
+    ExpressionRaiseException,
+    makeBuiltinMakeExceptionNode,
+)
 from .ExpressionBases import ExpressionNoSideEffectsMixin
 from .HardImportNodesGenerated import (
     ExpressionOsListdirCallBase,
+    ExpressionOsLstatCallBase,
     ExpressionOsPathAbspathCallBase,
     ExpressionOsPathBasenameCallBase,
     ExpressionOsPathExistsCallBase,
     ExpressionOsPathIsabsCallBase,
     ExpressionOsPathIsdirCallBase,
     ExpressionOsPathIsfileCallBase,
+    ExpressionOsStatCallBase,
     ExpressionOsUnameCallBase,
 )
 
@@ -155,15 +159,42 @@ class ExpressionOsListdirCall(ExpressionOsListdirCallBase):
         return self, None, None
 
 
+class ExpressionOsStatCall(ExpressionOsStatCallBase):
+    kind = "EXPRESSION_OS_STAT_CALL"
+
+    def replaceWithCompileTimeValue(self, trace_collection):
+        # Nothing we can do really
+
+        trace_collection.onExceptionRaiseExit(BaseException)
+
+        return self, None, None
+
+
+class ExpressionOsLstatCall(ExpressionOsLstatCallBase):
+    kind = "EXPRESSION_OS_LSTAT_CALL"
+
+    def replaceWithCompileTimeValue(self, trace_collection):
+        # Nothing we can do really
+
+        trace_collection.onExceptionRaiseExit(BaseException)
+
+        return self, None, None
+
+
 def makeExpressionSysExitCall(exit_code, source_ref):
+
     if exit_code is None:
-        exit_code = makeConstantRefNode(constant=None, source_ref=source_ref)
+        args = ()
+    else:
+        args = (exit_code,)
 
     return ExpressionRaiseException(
-        exception_type=ExpressionBuiltinExceptionRef(
-            exception_name="SystemExit", source_ref=source_ref
+        exception_type=makeBuiltinMakeExceptionNode(
+            exception_name="SystemExit",
+            args=args,
+            for_raise=True,
+            source_ref=source_ref,
         ),
-        exception_value=exit_code,
         source_ref=source_ref,
     )
 

nuitka/nodes/OutlineNodes.py

@@ -139,9 +139,9 @@ class ExpressionOutlineBody(ChildHavingBodyOptionalMixin, ExpressionBase):
         if first_statement.isStatementRaiseException():
             # Exception exit was already annotated, need not repeat it.
 
+            assert first_statement.subnode_exception_value is None, first_statement
             result = ExpressionRaiseException(
                 exception_type=first_statement.subnode_exception_type,
-                exception_value=first_statement.subnode_exception_value,
                 source_ref=first_statement.getSourceReference(),
             )
 
@@ -264,9 +264,9 @@ class ExpressionOutlineFunctionBase(ExpressionFunctionBodyBase):
         if first_statement.isStatementRaiseException():
             # Exception exit was already annotated, need not repeat it.
 
+            assert first_statement.subnode_exception_value is None, first_statement
             result = ExpressionRaiseException(
                 exception_type=first_statement.subnode_exception_type,
-                exception_value=first_statement.subnode_exception_value,
                 source_ref=first_statement.getSourceReference(),
             )
 

nuitka/nodes/StatementBasesGenerated.py

@@ -690,7 +690,6 @@ class StatementChildrenHavingExceptionTypeExceptionValueOptionalExceptionTraceOp
 
     # This is generated for use in
     #   StatementRaiseException
-    #   StatementRaiseExceptionImplicit
 
     def __init__(
         self,
@@ -878,7 +877,6 @@ class StatementChildrenHavingExceptionTypeExceptionValueOptionalExceptionTraceOp
 
 # Assign the names that are easier to import with a stable name.
 StatementRaiseExceptionBase = StatementChildrenHavingExceptionTypeExceptionValueOptionalExceptionTraceOptionalExceptionCauseOptionalOperationPostInitMixin
-StatementRaiseExceptionImplicitBase = StatementChildrenHavingExceptionTypeExceptionValueOptionalExceptionTraceOptionalExceptionCauseOptionalOperationPostInitMixin
 
 
 class StatementChildHavingExpressionOperationAttributeNameMixin(StatementBase):

nuitka/nodes/StatementNodes.py

@@ -27,6 +27,10 @@ class StatementsSequenceMixin(object):
     def isStatementsSequence():
         return True
 
+    def computeStatement(self, trace_collection):
+        # Don't want to be called like this.
+        assert False, self
+
     def trimStatements(self, statement):
         assert statement.parent is self
 
@@ -119,9 +123,9 @@ class StatementsSequence(StatementsSequenceMixin, StatementsSequenceBase):
 
     named_children = ("statements|tuple+setter",)
 
-    def computeStatement(self, trace_collection):
-        # Don't want to be called like this.
-        assert False, self
+    @staticmethod
+    def isStatementsSequenceButNotFrame():
+        return True
 
     def computeStatementsSequence(self, trace_collection):
         new_statements = []
@@ -137,10 +141,7 @@ class StatementsSequence(StatementsSequenceMixin, StatementsSequenceBase):
                 new_statement = trace_collection.onStatement(statement=statement)
 
             if new_statement is not None:
-                if (
-                    new_statement.isStatementsSequence()
-                    and not new_statement.isStatementsFrame()
-                ):
+                if new_statement.isStatementsSequenceButNotFrame():
                     new_statements.extend(new_statement.subnode_statements)
                 else:
                     new_statements.append(new_statement)

nuitka/nodes/SubscriptNodes.py

@@ -195,7 +195,7 @@ class ExpressionSubscriptLookupForUnpack(ExpressionSubscriptLookup):
         # Rewrite exceptions to correct message.
         if (
             result_node.isExpressionRaiseException()
-            and result_node.subnode_exception_type.isExpressionBuiltinExceptionRef()
+            and result_node.subnode_exception_type.isExpressionBuiltinMakeException()
             and result_node.subnode_exception_type.getExceptionName() == "IndexError"
         ):
             if python_version >= 0x360:

nuitka/nodes/TypeNodes.py

@@ -24,10 +24,14 @@ from .ChildrenHavingMixins import (
     ChildrenExpressionBuiltinSuper1Mixin,
     ChildrenExpressionBuiltinSuper2Mixin,
     ChildrenExpressionTypeAliasMixin,
+    ChildrenExpressionTypeMakeGenericMixin,
     ChildrenHavingInstanceClassesMixin,
 )
 from .ExpressionBases import ExpressionBase, ExpressionBuiltinSingleArgBase
-from .ExpressionBasesGenerated import ExpressionSubtypeCheckBase
+from .ExpressionBasesGenerated import (
+    ExpressionSubtypeCheckBase,
+    ExpressionTypeVariableBase,
+)
 from .ExpressionShapeMixins import ExpressionBoolShapeExactMixin
 from .NodeBases import SideEffectsFromChildrenMixin
 from .NodeMakingHelpers import (
@@ -347,6 +351,29 @@ class ExpressionTypeAlias(ChildrenExpressionTypeAliasMixin, ExpressionBase):
         return False
 
 
+class ExpressionTypeVariable(ExpressionTypeVariableBase, ExpressionBase):
+    kind = "EXPRESSION_TYPE_VARIABLE"
+
+    auto_compute_handling = "final,no_raise"
+    node_attributes = ("name",)
+
+
+class ExpressionTypeMakeGeneric(ChildrenExpressionTypeMakeGenericMixin, ExpressionBase):
+    kind = "EXPRESSION_TYPE_MAKE_GENERIC"
+
+    named_children = ("type_params",)
+
+    def __init__(self, type_params, source_ref):
+        ChildrenExpressionTypeMakeGenericMixin.__init__(self, type_params=type_params)
+
+        ExpressionBase.__init__(self, source_ref)
+
+    def computeExpression(self, trace_collection):
+        trace_collection.onExceptionRaiseExit(BaseException)
+
+        return self, None, None
+
+
 #     Part of "Nuitka", an optimizing Python compiler that is compatible and
 #     integrates with CPython, but also works on its own.
 #

nuitka/nodes/VariableAssignNodes.py

@@ -31,7 +31,8 @@ from .shapes.ControlFlowDescriptions import (
     ControlFlowDescriptionFullEscape,
     ControlFlowDescriptionNoEscape,
 )
-from .shapes.StandardShapes import tshape_iterator, tshape_unknown
+from .shapes.IteratorShapes import tshape_iterator
+from .shapes.StandardShapes import tshape_unknown
 from .StatementBasesGenerated import (
     StatementAssignmentVariableConstantImmutableBase,
     StatementAssignmentVariableConstantMutableBase,

nuitka/nodes/shapes/BuiltinTypeShapes.py

@@ -479,6 +479,12 @@ class ShapeTypeBool(ShapeNotContainerMixin, ShapeNumberMixin, ShapeBase):
     def isKnownToHaveAttribute(attribute_name):
         return hasattr(True, attribute_name)
 
+    def getOperationUnaryAddShape(self):
+        return tshape_int, ControlFlowDescriptionNoEscape
+
+    def getOperationUnarySubShape(self):
+        return tshape_int, ControlFlowDescriptionNoEscape
+
 
 tshape_bool = ShapeTypeBool()
 
@@ -492,6 +498,12 @@ class ShapeTypeInt(ShapeNotContainerMixin, ShapeNumberMixin, ShapeBase):
     def getTypeName():
         return "int"
 
+    if isExperimental("optimize-dual-int"):
+
+        @staticmethod
+        def getCType():
+            return CTypeNuitkaIntOrLongStruct
+
     helper_code = "INT" if python_version < 0x300 else "LONG"
 
     add_shapes = add_shapes_int
@@ -536,6 +548,12 @@ class ShapeTypeInt(ShapeNotContainerMixin, ShapeNumberMixin, ShapeBase):
     def isKnownToHaveAttribute(attribute_name):
         return hasattr(7, attribute_name)
 
+    def getOperationUnaryAddShape(self):
+        return self, ControlFlowDescriptionNoEscape
+
+    def getOperationUnarySubShape(self):
+        return tshape_int_or_long, ControlFlowDescriptionNoEscape
+
 
 tshape_int = ShapeTypeInt()
 
@@ -605,7 +623,7 @@ if python_version < 0x300:
     class ShapeTypeIntOrLong(ShapeNotContainerMixin, ShapeNumberMixin, ShapeBase):
         __slots__ = ()
 
-        if isExperimental("nuitka_ilong"):
+        if isExperimental("optimize-dual-int"):
 
             @staticmethod
             def getCType():
@@ -903,11 +921,11 @@ class ShapeTypeList(ShapeContainerMutableMixin, ShapeNotNumberMixin, ShapeBase):
 
         # Need to consider value shape for this.
         if right_shape in (tshape_list, tshape_tuple):
-            return operation_result_bool_elementbased
+            return operation_result_bool_element_based
 
         if right_shape is tshape_xrange:
             if python_version < 0x300:
-                return operation_result_bool_elementbased
+                return operation_result_bool_element_based
             else:
                 # TODO: Actually unorderable, but this requires making a
                 # difference with "=="
@@ -1693,11 +1711,11 @@ class ShapeTypeXrange(ShapeContainerImmutableMixin, ShapeNotNumberMixin, ShapeBa
         if python_version < 0x300:
             # Need to consider value shape for this.
             if right_shape in (tshape_list, tshape_tuple):
-                return operation_result_bool_elementbased
+                return operation_result_bool_element_based
 
             if right_shape is tshape_xrange:
                 # TODO: This is value escaping, but that doesn't really apply
-                return operation_result_bool_elementbased
+                return operation_result_bool_element_based
         else:
             # TODO: Actually unorderable, but this requires making a
             # difference with "=="
@@ -1908,7 +1926,7 @@ operation_result_dict_noescape = tshape_dict, ControlFlowDescriptionNoEscape
 operation_result_dict_valueerror = tshape_dict, ControlFlowDescriptionValueErrorNoEscape
 
 
-operation_result_bool_elementbased = (
+operation_result_bool_element_based = (
     tshape_bool,
     ControlFlowDescriptionElementBasedEscape,
 )
@@ -1965,7 +1983,6 @@ operation_result_unsupported_matmult = (
     ControlFlowDescriptionMatmultUnsupported,
 )
 
-
 # ZeroDivisionError can occur for some module and division operations, otherwise they
 # are fixed type.
 operation_result_zerodiv_int = tshape_int, ControlFlowDescriptionZeroDivisionNoEscape

nuitka/nodes/shapes/IteratorShapes.py

@@ -0,0 +1,71 @@
+#     Copyright 2024, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
+""" Iterator shapes that commonly appear. """
+
+from .ControlFlowDescriptions import ControlFlowDescriptionFullEscape
+from .ShapeMixins import ShapeIteratorMixin
+from .StandardShapes import ShapeBase, tshape_unknown
+
+
+class ShapeIterator(ShapeBase, ShapeIteratorMixin):
+    """Iterator created by iter with 2 arguments, TODO: could be way more specific."""
+
+    __slots__ = ()
+
+    @staticmethod
+    def isShapeIterator():
+        return None
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return None
+
+    @staticmethod
+    def hasShapeSlotLen():
+        return None
+
+    @staticmethod
+    def hasShapeSlotInt():
+        return None
+
+    @staticmethod
+    def hasShapeSlotLong():
+        return None
+
+    @staticmethod
+    def hasShapeSlotFloat():
+        return None
+
+    @staticmethod
+    def getShapeIter():
+        return tshape_iterator
+
+    @staticmethod
+    def getOperationUnaryReprEscape():
+        return ControlFlowDescriptionFullEscape
+
+    def getOperationUnaryAddShape(self):
+        # TODO: Move prepared values to separate module
+        return tshape_unknown, ControlFlowDescriptionFullEscape
+
+    def getOperationUnarySubShape(self):
+        return tshape_unknown, ControlFlowDescriptionFullEscape
+
+
+tshape_iterator = ShapeIterator()
+
+#     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/shapes/ShapeMixins.py

@@ -6,9 +6,12 @@
 """
 
 from .ControlFlowDescriptions import (
+    ControlFlowDescriptionAddUnsupported,
     ControlFlowDescriptionElementBasedEscape,
     ControlFlowDescriptionNoEscape,
+    ControlFlowDescriptionSubUnsupported,
 )
+from .StandardShapes import tshape_unknown
 
 
 class ShapeContainerMixin(object):
@@ -131,10 +134,19 @@ class ShapeNotNumberMixin(object):
     def hasShapeSlotComplex():
         return False
 
+    # TODO: Seems misplaced
     @staticmethod
     def hasShapeModule():
         return False
 
+    @staticmethod
+    def getOperationUnaryAddShape():
+        return tshape_unknown, ControlFlowDescriptionAddUnsupported
+
+    @staticmethod
+    def getOperationUnarySubShape():
+        return tshape_unknown, ControlFlowDescriptionSubUnsupported
+
 
 class ShapeNumberMixin(object):
     """Mixin that defines the number slots to be set."""
@@ -182,6 +194,12 @@ class ShapeNumberMixin(object):
     def getOperationUnaryReprEscape():
         return ControlFlowDescriptionNoEscape
 
+    def getOperationUnaryAddShape(self):
+        return self, ControlFlowDescriptionNoEscape
+
+    def getOperationUnarySubShape(self):
+        return self, ControlFlowDescriptionNoEscape
+
 
 class ShapeIteratorMixin(ShapeNotContainerMixin):
     # Mixins are required to define empty slots

nuitka/nodes/shapes/StandardShapes.py

@@ -8,11 +8,13 @@ from abc import abstractmethod
 from nuitka.code_generation.c_types.CTypePyObjectPointers import (
     CTypePyObjectPtr,
 )
-from nuitka.code_generation.Reports import onMissingOperation
+from nuitka.code_generation.Reports import (
+    onMissingOperation,
+    onMissingUnaryOperation,
+)
 from nuitka.utils.SlotMetaClasses import getMetaClassBase
 
 from .ControlFlowDescriptions import ControlFlowDescriptionFullEscape
-from .ShapeMixins import ShapeIteratorMixin
 
 
 class ShapeBase(getMetaClassBase("Shape", require_slots=True)):
@@ -127,7 +129,7 @@ class ShapeBase(getMetaClassBase("Shape", require_slots=True)):
             return operation_result_unknown
 
     # TODO: Change defaults to be "None" for easier catching of
-    # non-overloaders
+    # non-overloading cases.
     iadd_shapes = {}
 
     def getOperationInplaceAddShape(self, right_shape):
@@ -446,6 +448,16 @@ class ShapeBase(getMetaClassBase("Shape", require_slots=True)):
 
             return operation_result_unknown
 
+    def getOperationUnaryAddShape(self):
+        onMissingUnaryOperation("+", self)
+
+        return operation_result_unknown
+
+    def getOperationUnarySubShape(self):
+        onMissingUnaryOperation("-", self)
+
+        return operation_result_unknown
+
     def getComparisonLtShape(self, right_shape):
         onMissingOperation("Lt", self, right_shape)
 
@@ -543,6 +555,12 @@ class ShapeTypeUnknown(ShapeBase):
     def getOperationBinaryMatMultShape(right_shape):
         return operation_result_unknown
 
+    def getOperationUnaryAddShape(self):
+        return operation_result_unknown
+
+    def getOperationUnarySubShape(self):
+        return operation_result_unknown
+
     @staticmethod
     def getComparisonLtShape(right_shape):
         return operation_result_unknown
@@ -613,47 +631,6 @@ class ShapeLargeConstantValuePredictable(ShapeLargeConstantValue):
         self.predictor = predictor
 
 
-class ShapeIterator(ShapeBase, ShapeIteratorMixin):
-    """Iterator created by iter with 2 arguments, TODO: could be way more specific."""
-
-    __slots__ = ()
-
-    @staticmethod
-    def isShapeIterator():
-        return None
-
-    @staticmethod
-    def hasShapeSlotBool():
-        return None
-
-    @staticmethod
-    def hasShapeSlotLen():
-        return None
-
-    @staticmethod
-    def hasShapeSlotInt():
-        return None
-
-    @staticmethod
-    def hasShapeSlotLong():
-        return None
-
-    @staticmethod
-    def hasShapeSlotFloat():
-        return None
-
-    @staticmethod
-    def getShapeIter():
-        return tshape_iterator
-
-    @staticmethod
-    def getOperationUnaryReprEscape():
-        return ControlFlowDescriptionFullEscape
-
-
-tshape_iterator = ShapeIterator()
-
-
 class ShapeLoopInitialAlternative(ShapeBase):
     """Merge of loop wrap around with loop start value.
 
@@ -898,6 +875,22 @@ class ShapeLoopInitialAlternative(ShapeBase):
                 ControlFlowDescriptionFullEscape,
             )
 
+    def getOperationUnaryAddShape(self):
+        return (
+            self._collectInitialShape(
+                operation=lambda left_shape: left_shape.getOperationUnaryAddShape()
+            ),
+            ControlFlowDescriptionFullEscape,
+        )
+
+    def getOperationUnarySubShape(self):
+        return (
+            self._collectInitialShape(
+                operation=lambda left_shape: left_shape.getOperationUnarySubShape()
+            ),
+            ControlFlowDescriptionFullEscape,
+        )
+
     def getComparisonLtShape(self, right_shape):
         if right_shape is tshape_unknown:
             return operation_result_unknown
@@ -1162,6 +1155,16 @@ class ShapeLoopCompleteAlternative(ShapeBase):
             )
         )
 
+    def getOperationUnaryAddShape(self):
+        return self._collectShapeOperation(
+            operation=lambda left_shape: left_shape.getOperationUnaryAddShape()
+        )
+
+    def getOperationUnarySubShape(self):
+        return self._collectShapeOperation(
+            operation=lambda left_shape: left_shape.getOperationUnarySubShape()
+        )
+
     # Special method to be called by other shapes encountering this type on
     # the right side.
     def getOperationBinaryAddLShape(self, left_shape):

nuitka/optimizations/BytecodeDemotion.py

@@ -23,6 +23,7 @@ from nuitka.plugins.Plugins import (
     replaceTriggerModule,
 )
 from nuitka.Tracing import inclusion_logger
+from nuitka.utils.FileOperations import getNormalizedPath
 
 
 def demoteSourceCodeToBytecode(module_name, source_code, filename):
@@ -59,7 +60,7 @@ def demoteCompiledModuleToBytecode(module):
     uncompiled_module = makeUncompiledPythonModule(
         module_name=full_name,
         reason=module.reason,
-        filename=filename,
+        filename=getNormalizedPath(filename),
         bytecode=bytecode,
         is_package=module.isCompiledPythonPackage(),
         technical=full_name in detectEarlyImports(),