ADTast-experimentalpthread-emulation
Last change
on this file since 41a6a78 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:
358 bytes
|
Rev | Line | |
---|
[53692b3] | 1 | nested-types.cfa:100:25: warning: Compiled |
---|
[6988dc6] | 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: |
---|
[07ec1a2] | 5 | instance of struct S with body 1 |
---|
| 6 | instance of type Z (not function type) |
---|
[49e1275] | 7 | |
---|
Note: See
TracBrowser
for help on using the repository browser.