[analyzer][NFC] Merge similar conditional paths

[steakhal]

I would probably query the opcode only once and reuse it, but is also fine.

Btw whats your intention making this change? Do you plan greater refactorings/cleanups?

[aaron.ballman]

LGTM (though I'd also be fine if we only wanted to call getOpcode() once).

[phyBrackets]

In D121045#3362373, @steakhal wrote:

I would probably query the opcode only once and reuse it, but is also fine.

Btw whats your intention making this change? Do you plan greater refactorings/cleanups?

Yeah, I think query the opcode once is a nice idea tho, let me do this in this patch only. And yeah I'm thinking of refactoring/cleanups where it needed and would love to make some big refactors. But I found this when I was looking into this issue (https://github.com/llvm/llvm-project/issues/53564 and needs to look at the deadstorechecker file.)

[phyBrackets]

query the opcode only once and reuse it

[phyBrackets]

Sorry but Idk why that DataFlowAnalysisIntro typo change also commited , I only add the deadstorechecker file.

[steakhal]

Shadowing potential names is not a good idea.
BTW OpCodes are often abbreviated to Op in variable names in this context.

clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp

110–111

[phyBrackets]

used the correct name for Opcode

[phyBrackets]

Thanks @steakhal !

clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp

 
 static const Expr *
 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) {
   while (Ex) {
     const BinaryOperator *BO =
       dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
     if (!BO)
       break;
-    if (BO->getOpcode() == BO_Assign) {
-      Ex = BO->getRHS();
-      continue;
-    }
-    if (BO->getOpcode() == BO_Comma) {
+    if (BO->getOpcode() == BO_Assign || BO->getOpcode() == BO_Comma) {
       Ex = BO->getRHS();
       continue;
     }
     break;
   }
   return Ex;
 }
 
 namespace {