Make the comment clearer

Your Name · Your Name · commit 3cea3ef6625d · 2026-06-22T18:02:48.000-05:00
diff --git a/lib/vf_analyzers.cpp b/lib/vf_analyzers.cpp
@@ -1200,7 +1200,7 @@ struct SingleValueFlowAnalyzer : ValueFlowAnalyzer {
     {
         if (value.isImpossible())
             return false;
-        // lifetime values must keep flowing to find dangling derefs on all paths
+        // lifetime values must keep flowing to properly track aliases
         if (value.isLifetimeValue())
             return false;
         // 'conditional' flag (uninit, or lowered after a modifying branch): may depend on a

Original file line number	Diff line number	Diff line change
`@@ -1200,7 +1200,7 @@ struct SingleValueFlowAnalyzer : ValueFlowAnalyzer {`
`1200`	`1200`	`{`
`1201`	`1201`	`if (value.isImpossible())`
`1202`	`1202`	`return false;`
`1203`		`- // lifetime values must keep flowing to find dangling derefs on all paths`
	`1203`	`+ // lifetime values must keep flowing to properly track aliases`
`1204`	`1204`	`if (value.isLifetimeValue())`
`1205`	`1205`	`return false;`
`1206`	`1206`	`// 'conditional' flag (uninit, or lowered after a modifying branch): may depend on a`