Thread: passing array elements as an index to another array

I have two matrices path[max][2] and input_pair2[max][max] where max is 10 and path_count is dynamic and less than max (let's say 6). I want to use elements of path matrix as an index of input_pair2, i am doing this as in the following code. This works fine with c compiler but giving error in the framework i am using the code in. The error indicates problem of assigning values 0 and 1 to the input_pair2 matrix.

Code:

for (int p = 0; p < path_count; p++)
    {
        if (input_pair2[path[p] [0]] [path[p][1]] == 1)
                input_pair2[path[p][0]] [path[p][1]] = 0;
        else
                input_pair2[path[p][0]] [array[p][1]] = 1;
      
    }

Is there any other way, i can do the same in C?

Error is,
terminate called after throwing an instance of 'std::runtime_error'
what(): Unknown literal: 14100. Did you forget to return a value or assign a value to a OUTPUT variable?
Makefile:8: recipe for target 'output.gate.txt' failed
make: *** [output.gate.txt] Aborted (core dumped)

I am using CBMC-GC framework for converting functions to circuits. When i comment the above given code, error vanishes and circuits are generated.

Code:

typedef struct
{
    int input_pair1[max][max];
    int input_pair2[max][max];
}Pair;

typedef struct
{
   int array[max][2];
   int count;
}paths;
Pair augment_path(paths path, Pair pair )
{
  
for (int p = 0; p < path.count; p++)

    {

        if (pair.input_pair2[path.array[p] [0]] [path.array[p][1]] == 1)

                pair.input_pair2[path.array[p][0]] [path.array[p][1]] = 0;

        else

                pair.input_pair2[path.array[p][0]] [path.array[p][1]] = 1;

       

    }



    return pair;
}

Yes, it is returning a value.