有符号整数溢出

Question

在源代码下面（我已经在代码上注释了错误），我明白了

第 27 行：字符 33：运行时错误：有符号整数溢出：-1094795586+ -1094795586 无法以“int”类型表示

我查阅了不同的文章，例如 How to detected signed integer overflow，但我没有得到要检查的整数。
working_array[] 的元素如果其值小于 target 整数，则从 nums[] 中过滤。
由于nums[] 的元素类似于[ 3, 6, 11, 19, 2, ...]，我不担心在最后一个if 语句的SUM 期间检查溢出。我错了吗？

int* twoSum(int* nums, int numsSize, int target, int* returnSize){
    int count_elem = 0;
    int *working_array = (int*)malloc(numsSize * sizeof(int));
    
    // Going through original array
    for(int i=0;i<numsSize;i++){
        
        // If elem nums[i] is less than target, is accepted on a new working array
        if(nums[i] < target){
            count_elem += 1;
            working_array[count_elem] = nums[i];            
        }        
    }

    working_array = realloc(working_array, count_elem*sizeof(int));
    
    // Creating result array
    returnSize = sizeof(int)*2;
    int *result_array = (int*)malloc(returnSize);

    // Going through working array
    for(int i=0;i<count_elem;++i)
        for(int j=0;j<count_elem;++j)

            // SIGNED INTEGER OVERFLOW IN LINE BELOW
            if( (working_array[i]+working_array[j]) == target){
                result_array[0] = working_array[i];
                result_array[1] = working_array[j];
                free(working_array);
                return result_array;
            }
    
    free(working_array);
    return;
}

P.S：我知道cast malloc results 没用，但这可能是个小问题。

Answer 1

        if(nums[i] < target){
            count_elem += 1;
            working_array[count_elem] = nums[i];     
        }

一个错误。这将初始化working_array[1]、working_array[2]、... 可能达到working_array[numsSize]，这将超出范围。同时，working_array[0] 从未初始化并包含垃圾，这可能是导致您溢出的垃圾值。

制作：

        if(nums[i] < target){
            working_array[count_elem] = nums[i];     
            count_elem += 1;
        }

或许

        if(nums[i] < target){
            working_array[count_elem++] = nums[i];     
        }

---

另外，如上所述，

    returnSize = sizeof(int)*2;
    int *result_array = (int*)malloc(returnSize);

是错误的，因为returnSize 是一个指针。如果想法是通过引用返回大小，那么你想要

    *returnSize = sizeof(int)*2;
    int *result_array = (int*)malloc(*returnSize);