source: CIVL/examples/languageFeatures/bracedScalarInit.c

main
Last change on this file was 1b85498, checked in by Stephen Siegel <siegel@…>, 14 months ago

Support for non-const struct literal expressions in CIVL model

StructOrUnionLiterals and ArrayLiterals are now all represented by CompoundLiterals

(https://vsl.cis.udel.edu/trac/civl/ticket/969)

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5961 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 111 bytes
Line 
1#include <assert.h>
2
3int main() {
4 int x = (int){9};
5 int *p = (int *){&x};
6
7 assert (x == 9 && *p == 9);
8}
Note: See TracBrowser for help on using the repository browser.