[bug] Cherry-pick "Fix dereferencing nullptr (#6763)" (#6769)

strongoier · pre-commit-ci[bot] · web-flow · commit 0f25b95e0208 · 2022-11-30T17:44:30.000+08:00
Co-authored-by: pre-commit-ci[bot] &lt;66853113+pre-commit-ci[bot]@users.noreply.github.com&gt;
diff --git a/taichi/transforms/loop_invariant_detector.h b/taichi/transforms/loop_invariant_detector.h
@@ -65,6 +65,8 @@ class LoopInvariantDetector : public BasicStmtVisitor {
     bool is_invariant = true;
 
     for (Stmt *operand : stmt->get_operands()) {
+      if (operand == nullptr)
+        continue;
       is_invariant &= is_operand_loop_invariant_impl(operand, current_scope);
     }
 
diff --git a/taichi/transforms/make_thread_local.cpp b/taichi/transforms/make_thread_local.cpp
@@ -76,6 +76,8 @@ std::vector<std::pair<T *, AtomicOpType>> find_global_reduction_destinations(
             }
           }
           for (auto &op : stmt->get_operands()) {
+            if (op == nullptr)
+              continue;
             // Make sure the values of related atomic operations are not used.
             if (auto atomic = op->cast<AtomicOpStmt>()) {
               if (irpass::analysis::maybe_same_address(atomic->dest,

Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,8 @@ class LoopInvariantDetector : public BasicStmtVisitor {`
`65`	`65`	`bool is_invariant = true;`
`66`	`66`
`67`	`67`	`for (Stmt *operand : stmt->get_operands()) {`
	`68`	`+ if (operand == nullptr)`
	`69`	`+ continue;`
`68`	`70`	`is_invariant &= is_operand_loop_invariant_impl(operand, current_scope);`
`69`	`71`	`}`
`70`	`72`
Original file line number	Diff line number	Diff line change
`@@ -76,6 +76,8 @@ std::vector<std::pair<T *, AtomicOpType>> find_global_reduction_destinations(`
`76`	`76`	`}`
`77`	`77`	`}`
`78`	`78`	`for (auto &op : stmt->get_operands()) {`
	`79`	`+ if (op == nullptr)`
	`80`	`+ continue;`
`79`	`81`	`// Make sure the values of related atomic operations are not used.`
`80`	`82`	`if (auto atomic = op->cast<AtomicOpStmt>()) {`
`81`	`83`	`if (irpass::analysis::maybe_same_address(atomic->dest,`