Fix New Coverity Scan Warning

Coverity Scan warned about logically dead code. Its argument is because of assertion on index >= 0 there is no need to test it again.
WeiqunZhang · Jul 29, 2023 · c22f0be · c22f0be
1 parent 98d22d2
commit c22f0be
Showing 1 changed file with 20 additions and 16 deletions.
diff --git a/Src/Particle/AMReX_StructOfArrays.H b/Src/Particle/AMReX_StructOfArrays.H
@@ -41,10 +41,11 @@ struct StructOfArrays {
  * @param index component with 0...NReal-1 compile-time and NReal... runtime arguments
  */
  [[nodiscard]] RealVector& GetRealData (const int index) {
- AMREX_ASSERT(index >= 0 && index < NReal + static_cast<int>(m_runtime_rdata.size()));
- if (index >= 0 && index < NReal) return m_rdata[index];
- else {
- AMREX_ASSERT(m_defined);
+ if (index >= 0 && index < NReal) {
+ return m_rdata[index];
+ } else {
+ AMREX_ASSERT((index-NReal) < static_cast<int>(m_runtime_rdata.size())
+ && m_defined);
  return m_runtime_rdata[index - NReal];
  }
  }
@@ -54,10 +55,11 @@ struct StructOfArrays {
  * @param index component with 0...NReal-1 compile-time and NReal... runtime arguments
  */
  [[nodiscard]] const RealVector& GetRealData (const int index) const {
- AMREX_ASSERT(index >= 0 && index < NReal + static_cast<int>(m_runtime_rdata.size()));
- if (index >= 0 && index < NReal) return m_rdata[index];
- else {
- AMREX_ASSERT(m_defined);
+ if (index >= 0 && index < NReal) {
+ return m_rdata[index];
+ } else {
+ AMREX_ASSERT((index-NReal) < static_cast<int>(m_runtime_rdata.size())
+ && m_defined);
  return m_runtime_rdata[index - NReal];
  }
  }
@@ -67,10 +69,11 @@ struct StructOfArrays {
  * @param index component with 0...NInt-1 compile-time and NInt... runtime arguments
  */
  [[nodiscard]] IntVector& GetIntData (const int index) {
- AMREX_ASSERT(index >= 0 && index < NInt + static_cast<int>(m_runtime_idata.size()));
- if (index >= 0 && index < NInt) return m_idata[index];
- else {
- AMREX_ASSERT(m_defined);
+ if (index >= 0 && index < NInt) {
+ return m_idata[index];
+ } else {
+ AMREX_ASSERT((index-NInt) < static_cast<int>(m_runtime_idata.size())
+ && m_defined);
  return m_runtime_idata[index - NInt];
  }
  }
@@ -81,10 +84,11 @@ struct StructOfArrays {
  * @return
  */
  [[nodiscard]] const IntVector& GetIntData (const int index) const {
- AMREX_ASSERT(index >= 0 && index < NInt + static_cast<int>(m_runtime_idata.size()));
- if (index >= 0 && index < NInt) return m_idata[index];
- else {
- AMREX_ASSERT(m_defined);
+ if (index >= 0 && index < NInt) {
+ return m_idata[index];
+ } else {
+ AMREX_ASSERT((index-NInt) < static_cast<int>(m_runtime_idata.size())
+ && m_defined);
  return m_runtime_idata[index - NInt];
  }
  }