Andrew Pinski

Objective-C support for GCC

4

**Compiler name:** This is not really a new compiler request but rather a request to add Objective-C support for x86_64 GCC. **Compiler version:** GCC trunk is enough for now. **Compiler...

Is there a pedantic mode for operators on arbitrary-precision integers

7

From the spec: ``` Note: bitwise-operations (|,&,^,~) are not defined on expressions of type int. ``` But p4c allows to compile: ``` const bit tmp2 = (1 | 2) |+|...

instantation of parser inside functions error message could be clear

2

Take: ``` parser p() { state start { transition accept; } } void func() { p() t; t(); } ``` The reference compiler produces: ``` t8.p4(9): [--Werror=invalid] error: t: cannot...

default_action checking against action is too strong for (s){} argument

2

take: ``` struct s { bit f0; bit f1; } extern bit ext(); control c() { bit tt; action a(in bit v1, in bit v2) { tt = v1++v2; }...

I thought this was working previously but it is no longer working and also gives a compiler bug. I was using header stacks to get a static assert before I...

default_action checking arguments against the action one is not strong enough

4

Take: ``` action a(in bit v, in bit v1){} bit f(inout bit v) { v = ~v; return v; } control c() { bit tt; table t { actions =...

directionless argument with default paramater on action vs actions in table

5

This is a fuzzy area of the specifications so I am not 100% sure this is a compiler bug but it might be a specifications oversight too. Take: ``` #include...

Take: ``` #include control c(in bit a) { apply { switch (a) { 4w0: {} 4w1: {} // { dg-note "" } 4w1: {} // { dg-error "" } }...

./p4_16_errors/div1.p4 is incorrectly rejected for negative values

1

The testcase is ``` action act() { bit a; a = a / -1; a = -5 / a; a = a % -1; a = -5 % a; }...

decls and state names, are they in the same namespaces?

5

Take: ``` parser p() { bit t; state start { t = 1; transition t; } state t { transition accept; } } ``` Currently p4c rejects this with saying...