summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/bad-binary-ops.c
blob: 46c158e6a5f6780f2edcc8b34ae5dda120937ee5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
/* { dg-options "-fdiagnostics-show-caret" } */

/* Adapted from https://gcc.gnu.org/wiki/ClangDiagnosticsComparison */

typedef float __m128;
void test_1 ()
{
  __m128 myvec[2];
  int const *ptr;
  myvec[1]/ptr; /* { dg-error "invalid operands to binary /" } */

/* TODO: ideally we'd underline "ptr" as well.
{ dg-begin-multiline-output "" }
   myvec[1]/ptr;
   ~~~~~~~~^
        |
        __m128
{ dg-end-multiline-output "" } */


}

struct s {};
struct t {};
extern struct s some_function (void);
extern struct t some_other_function (void);

int test_2 (void)
{
  return (some_function ()
	  + some_other_function ()); /* { dg-error "invalid operands to binary \+" } */

/* { dg-begin-multiline-output "" }
   return (some_function ()
           ~~~~~~~~~~~~~~~~
           |
           struct s
    + some_other_function ());
    ^ ~~~~~~~~~~~~~~~~~~~~~~
      |
      struct t
   { dg-end-multiline-output "" } */
}

int test_3 (struct s param_s, struct t param_t)
{
  return param_s + param_t; // { dg-error "invalid operands to binary \+" }

/* { dg-begin-multiline-output "" }
   return param_s + param_t;
                  ^
   { dg-end-multiline-output "" } */
/* TODO: ideally we'd underline both params here.  */
}

typedef struct s S;
typedef struct t T;

extern S callee_4a (void);
extern T callee_4b (void);

int test_4 (void)
{
  return callee_4a () + callee_4b (); /* { dg-error "invalid operands to binary \+" } */

/* { dg-begin-multiline-output "" }
   return callee_4a () + callee_4b ();
          ~~~~~~~~~~~~ ^ ~~~~~~~~~~~~
          |              |
          |              T {aka struct t}
          S {aka struct s}
   { dg-end-multiline-output "" } */
}