main

BM-GJB8114-2013/R-1-12-2/R-1-12-2-good.cpp

+int fsub ( int *a, int *b );
+
+int main ( void )
+{
+  int sub = 0;
+  int a = 1, b = 2;
+
+  sub = fsub ( &a, &b );
+
+  return ( 0 );
+}
+
+int fsub ( int *a, int *b )
+{
+  int sub = 0;
+
+  if ( ( *a ) > ( *b ) )       //遵循1
+  {
+    sub = ( *a ) - ( *b );
+  }
+  else if ( ( *a ) < ( *b ) )  //遵循2
+  {
+    sub = ( *b ) - ( *a );
+  }
+  else
+  {
+    sub = 0;
+  }
+  
+  return sub;
+}

BM-GJB8114-2013/R-1-12-3/R-1-12-3-bad.c

+int main ( void )
+{
+  int   i, j;
+  int   P = 1000;
+  float d = 0.435;
+
+  if ( 435 == ( P * d ) )  //违背1
+  {
+    i = 1;
+  }
+  else
+  {
+    i = 2;
+  }
+
+  if ( 435 != ( P * d ) )  //违背2
+  {
+    j = 1;
+  }
+  else
+  {
+    j = 2;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-3/R-1-12-3-bad.cpp

+int main ( void )
+{
+  int   i, j;
+  int   P = 1000;
+  float d = 0.435;
+
+  if ( 435 == ( P * d ) )  //违背1
+  {
+    i = 1;
+  }
+  else
+  {
+    i = 2;
+  }
+
+  if ( 435 != ( P * d ) )  //违背2
+  {
+    j = 1;
+  }
+  else
+  {
+    j = 2;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-3/R-1-12-3-good.c

+#include <math.h>
+
+int main ( void )
+{
+  int   i, j;
+  int   P = 1000;
+  float d = 0.435;
+
+  if ( fabs ( 435 - ( P * d ) ) < 1e-4 )                             //遵循1
+  {
+    i = 1;
+  }
+  else
+  {
+    i = 2;
+  }
+
+  if ( ( 435 >= ( P * d ) + 1e-4 ) || ( 435 <= ( P * d ) - 1e-4 ) )  //遵循2
+  {
+    j = 1;
+  }
+  else
+  {
+    j = 2;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-3/R-1-12-3-good.cpp

+#include <math.h>
+
+int main ( void )
+{
+  int   i, j;
+  int   P = 1000;
+  float d = 0.435;
+
+  if ( fabs ( 435 - ( P * d ) ) < 1e-4 )                             //遵循1
+  {
+    i = 1;
+  }
+  else
+  {
+    i = 2;
+  }
+
+  if ( ( 435 >= ( P * d ) + 1e-4 ) || ( 435 <= ( P * d ) - 1e-4 ) )  //遵循2
+  {
+    j = 1;
+  }
+  else
+  {
+    j = 2;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-4/R-1-12-4-bad.c

+int main ( void )
+{
+  unsigned int x = 1, y = 2;
+  int flag = 0;
+
+  if ( x >= 0 )  //违背1
+  {
+    flag = flag + 1;
+  }
+
+  if ( y <= 0 )  //违背2
+  {
+    flag = flag + 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-4/R-1-12-4-bad.cpp

+int main ( void )
+{
+  unsigned int x = 1, y = 2;
+  int flag = 0;
+
+  if ( x >= 0 )  //违背1
+  {
+    flag = flag + 1;
+  }
+
+  if ( y <= 0 )  //违背2
+  {
+    flag = flag + 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-5/R-1-12-5-bad.c

+int main ( void )
+{
+  unsigned int x;
+           int y, i;
+
+  x =  2;
+  y = -2;
+
+  if ( y < x )  //违背1
+  {
+    i = 0;
+  }
+  else
+  {
+    i = 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-5/R-1-12-5-bad.cpp

+int main ( void )
+{
+  unsigned int x;
+           int y, i;
+
+  x =  2;
+  y = -2;
+
+  if ( y < x )  //违背1
+  {
+    i = 0;
+  }
+  else
+  {
+    i = 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-5/R-1-12-5-good.c

+int main ( void )
+{
+  unsigned int x;
+           int y, i;
+
+  x =  2;
+  y = -2;
+
+  if ( y < ( int ) x )  //遵循1
+  {
+    i = 0;
+  }
+  else
+  {
+    i = 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-12-5/R-1-12-5-good.cpp

+int main ( void )
+{
+  unsigned int x;
+           int y, i;
+
+  x =  2;
+  y = -2;
+
+  if ( y < ( int ) x )  //遵循1
+  {
+    i = 0;
+  }
+  else
+  {
+    i = 1;
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-1/R-1-13-1-bad.c

+int sign = 0;
+
+int main ( void )
+{
+  int local = 0;
+  int sign  = 0;  //违背1
+
+  //...
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-1/R-1-13-1-bad.cpp

+int sign = 0;
+
+int main ( void )
+{
+  int local = 0;
+  int sign  = 0;  //违背1
+
+  //...
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-10/R-1-13-10-bad.c

+//构造测试例
+
+int main ( void )
+{
+  int fSpeedO = 1;  //违背1
+  int fSpeed0 = 0;  //违背2
+
+  //...
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-10/R-1-13-10-bad.cpp

+//构造测试例
+
+int main ( void )
+{
+  int fSpeedO = 1;  //违背1
+  int fSpeed0 = 0;  //违背2
+
+  //...
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-11/R-1-13-11-bad.c

+int main ( void )
+{
+  int l = 1;  //违背1
+  int O = 0;  //违背2
+
+  l = O;
+  O = l;
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-11/R-1-13-11-bad.cpp

+int main ( void )
+{
+  int l = 1;  //违背1
+  int O = 0;  //违背2
+
+  l = O;
+  O = l;
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-13/R-1-13-13-bad.c

+int main ( void )
+{
+           unsigned int i, z[ 100 ];
+  volatile unsigned int v = 1;
+
+  for ( i = 0; i < 100; i++ )
+  {
+    z[ i ] = 3 * v * v + 2 * v + i;  //违背1
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-13/R-1-13-13-bad.cpp

+int main ( void )
+{
+           unsigned int i, z[ 100 ];
+  volatile unsigned int v = 1;
+
+  for ( i = 0; i < 100; i++ )
+  {
+    z[ i ] = 3 * v * v + 2 * v + i;  //违背1
+  }
+
+  return ( 0 );
+}

BM-GJB8114-2013/R-1-13-13/R-1-13-13-good.c

+int main ( void )
+{
+           unsigned int i, j, z[ 100 ];
+  volatile unsigned int v = 1;
+
+  for ( i = 0; i < 100; i++ )
+  {
+    j = v;                           //遵循1
+    
+    z[ i ] = 3 * j * j + 2 * j + i;
+  }
+
+  return ( 0 );
+}