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?

That is C.

> This works fine with c compiler but giving error in the framework i am using the code in.
Yeah, copy/paste the ACTUAL error message.

Also, what "framework"?
Names, URLs, whatever where we can know more about what's on your screen is going to be helpful.

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.

> Did you forget to return a value or assign a value to a OUTPUT variable?
Well since you seem to have some usage of = in your code, perhaps your inappropriately named 'input_pair2' isn't being recognised as an output variable (as per the error message).

Does the function actually return a value (and you have a return <expression>;) ?

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.

And do you use that value?

As in

Code:

---

Pair result = augment_path(path, pair);

---

> where max is 10

Code:

---

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

---

Do you have any idea what sizeof(Pair) is?

Both your function arguments, and function return are passed "by value".
Which means you're copying back and forth 100's of bytes at a time.

Even more so, since you don't seem to use half of your pair structure.


> I am using CBMC-GC framework for converting functions to circuits.
I can see your code generating an awful lot of circuits.

Code:

---

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;
};

int main() {

return 0;
};



---

Identify what is causing (segfaults) ...

Memory segmentation - Wikipedia