C语言VS Code中运行自定义AbsVal、gcd函数出现Segmentation fault如何解决

• 无限递归导致栈溢出，是触发段错误的直接原因
  你编写的gcd函数中所有if判断都是独立执行的，没有做互斥处理。当递归进入a=0、b≠0的场景时，边界判断if (a==0) result = b执行完成后，后续的奇偶判断逻辑依然会运行：a=0满足a%2==0的条件，会再次进入2*gcd(a/2, b)的递归分支，反复调用gcd(0, b)形成死递归，最终栈空间耗尽触发段错误。
• AbsVal函数逻辑错误属于功能问题，不是段错误的直接诱因，但会影响计算结果
  你当前写的判断条件if (a-0==a)对所有数值都成立，if (0-a==a)仅当a=0时成立，最终负数输入会直接返回原值，绝对值计算完全失效。
• gcd的Stein算法实现存在逻辑错误
  仅当两个数均为偶数时，公因子才包含2，仅单个为偶数时不需要乘2，你原代码中单个偶数的分支多乘了2，会导致计算结果偏大。

1. 改造gcd函数的判断逻辑为互斥分支，边界条件匹配后直接返回，避免进入后续无效递归
2. 简化AbsVal的实现逻辑，确保绝对值计算正确
3. 修正Stein算法的公因子计算逻辑，删除单偶数分支的多余乘2操作

#include <stdio.h>

float AbsVal(float a)
{
    return a >= 0 ? a : -a;
}

int gcd (int a, int b)
{
    // 先取绝对值避免负数干扰计算
    a = (int)AbsVal(a);
    b = (int)AbsVal(b);
    // 边界判断，匹配后直接返回，不执行后续逻辑
    if (a == 0 && b == 0)
        return 0;
    if (a == 0)
        return b;
    if (b == 0)
        return a;
    // 奇偶分支用else if实现互斥
    if (a%2 == 0 && b%2 == 0)
        return 2 * gcd(a/2, b/2);
    else if (a%2 == 0 && b%2 != 0)
        return gcd(a/2, b);
    else if (a%2 != 0 && b%2 == 0)
        return gcd(a, b/2);
    else {
        return a > b ? gcd(a - b, b) : gcd(b - a, a);
    }
}

int main()
{
    printf("AbsVal(3) = %f\n", AbsVal(3));
    printf("AbsVal(-2) = %f\n", AbsVal(-2));
    printf("AbsVal(-3.1231) = %f\n", AbsVal(-3.1231));
    printf("AbsVal(5.9876) = %f\n", AbsVal(5.9876));
    printf("gcd(15,3) = %d\n", gcd(15,3));
    printf("gcd(60,73) = %d\n", gcd(60,73));
    printf("gcd(456, 234) = %d\n", gcd(456, 234));
    printf("gcd(100,10) = %d\n", gcd(100,10));
    return 0;
}

内容的提问来源于stack exchange，提问作者Sagilon