Less myopic check for protected inputs

Author: ricardoV94

pytensor/graph/destroyhandler.py

@@ -233,6 +233,19 @@ def inplace_candidates(fgraph, inputs, protected_inputs=None):
         Inputs Variable that you want to use as inplace destination.
 
     """
+
+    def view_is_protected(view_dict, variable, protected):
+        """Check if variable or a memory aliased ancestor of variable is in protected list."""
+        if variable in protected:
+            return True
+        try:
+            while True:
+                variable = view_dict[variable]
+                if variable in protected:
+                    return True
+        except KeyError:
+            return False
+
     if protected_inputs is None:
         from pytensor.compile.function.types import Supervisor
 
@@ -244,14 +257,15 @@ def inplace_candidates(fgraph, inputs, protected_inputs=None):
         protected_inputs.update(fgraph.outputs)
 
     has_destroyers = fgraph.has_destroyers
+    view_i = fgraph.destroy_handler.view_i
 
     return [
         inp
         # Remove duplicates, while preserving order by using dict.fromkeys
         for inp in dict.fromkeys(inputs)
         if (
             not isinstance(inp, Constant)
-            and inp not in protected_inputs
+            and not view_is_protected(view_i, inp, protected_inputs)
             and not has_destroyers([inp])
         )
     ]