aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNadesh Ramanathan <nadeshramanathan88@gmail.com>2020-06-13 13:06:25 +0100
committerNadesh Ramanathan <nadeshramanathan88@gmail.com>2020-06-13 13:06:25 +0100
commit66e0117b6519f97eeef931a51ad029ee630f81f4 (patch)
tree1645168f6ed3242b6669ee2c9adae2f0d96993c5
parentd51ad9622d0913564870db50f8ab95d7cba30452 (diff)
downloadvericert-kvx-66e0117b6519f97eeef931a51ad029ee630f81f4.tar.gz
vericert-kvx-66e0117b6519f97eeef931a51ad029ee630f81f4.zip
added return
-rw-r--r--test/array-out-of-bounds.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/array-out-of-bounds.c b/test/array-out-of-bounds.c
index 425bf39..1f20c0c 100644
--- a/test/array-out-of-bounds.c
+++ b/test/array-out-of-bounds.c
@@ -5,5 +5,5 @@ int main() {
int sum = 0;
for(int i=0; i<2; i++)
sum += (x[i] * y[i]);
-
+ return sum;
}