ADTast-experimentalpthread-emulationqualifiedEnum
|
Last change
on this file since c3b9d639 was
298fe57,
checked in by Andrew Beach <ajbeach@…>, 2 years ago
|
|
Translated 3/4 of validate_B. Link Reference To Types has been removed and will be translated after we know how much support we need for forall function pointers.
|
-
Property mode set to
100644
|
|
File size:
356 bytes
|
| Line | |
|---|
| 1 | nested-types.cfa:100:25: warning: Compiled |
|---|
| 2 | nested-types.cfa:86:1 error: Use of undefined global type Z |
|---|
| 3 | nested-types.cfa:87:1 error: Qualified type requires an aggregate on the left, but has: signed int |
|---|
| 4 | nested-types.cfa:88:1 error: Undefined type in qualified type: Qualified Type: |
|---|
| 5 | instance of struct S with body |
|---|
| 6 | instance of type Z (not function type) |
|---|
| 7 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
