# (Solved) : 2 Consider C Function Integer Variables Arguments Integer Return Type Int Myfunction Int X Q40645028 . . .

\$9.00

2. Consider a C-function that has integer variables as argumentsand integer as return type: int myFunction(int x1, int x2, …, intx7) In the function with arguments x1,x2,…,x7 which are integervariables, there are only 10 lines of code, where each line is inthe form of an assignment variable := Exp to an integer variablewhere Exp is a linear combination of integer variables (e.g.,y:=2×1+3×2-5) or an if-then-else statement where the condition is acomparison between two linear constraints on integer variables andthe assignments in the if-then-else statement are in the form ofvariable := Exp shown above (e.g., if (y>12×1-z) then x2:=3×7-15else x5:=18×4-6×7+6. The first line of the function declares threeinteger variable x,y,z, while the last line is to return the valuex back. Please design a program that can verify whether there arevalues for x1,x2,…,x7 passed to the function that can make thefunction return a negative integer.