short int bytesRec = 0;
char buf[SOMEBIGNUM];

while(bytesRec < MAXGET) {
bytesRec += getFromInput(buf+bytesRec);
}

//This example represents only one of the ways to remediate the violation 
void testIntegerOverflow() {

   int bytesRec = 0;

   auto getFromInput = [](char*) {

      return 10000;

   };

 

#define MAXGET INT_MAX

  

   char buf[100000];

 

   while (bytesRec < MAXGET) {

      int bytes = getFromInput(buf + bytesRec);

      if (static_cast<int>(bytes + bytesRec) < bytesRec) {

         break;

      }

      bytesRec += bytes;

   }

}