#include <debug.h>

#include "sat_add.h"

int sat_add(int x, int y)
{
    if (x == INT_MAX && y > 0)
    {
        assert(!"TODO");
    }
    
    if (x > 0 && y == INT_MAX)
    {
        assert(!"TODO");
    }
    
    if (x > 0 && y > 0)
    {
        assert(!"TODO");
    }
    
    if (x < 0 && y < 0)
    {
        assert(!"TODO");
    }
    
    return x + y;
}