]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/GCCTestSuite/ftrapv-1.c
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / GCCTestSuite / ftrapv-1.c
1 /* Copyright (C) 2004 Free Software Foundation.
2
3    PR other/15526
4    Verify correct overflow checking with -ftrapv.
5
6    Written by Falk Hueffner, 20th May 2004.  */
7
8 /* { dg-do run } */
9 /* { dg-options "-ftrapv" } */
10
11 __attribute__((noinline)) int
12 mulv(int a, int b)
13 {
14   return a * b;
15 }
16
17 int
18 main()
19 {
20         int tmp;
21   tmp=mulv( 0,  0);
22   tmp=mulv( 0, -1);
23   tmp=mulv(-1,  0);
24   tmp=mulv(-1, -1);
25   return 0;
26 }