diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-18 07:22:02 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-18 07:22:02 +0000 |
commit | 9cb3b2cd5ce322cecf9ef7c9b10296c6057b0ddb (patch) | |
tree | 091b320eaa924b880cd56da222a21b812d038f58 /test/regression/Results | |
parent | 132541ce2fa2a910a4241da6955805c5734781f5 (diff) |
Another corner case for string literal initializers: char * x[] = { "lit" }
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2498 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression/Results')
-rw-r--r-- | test/regression/Results/initializers | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers index 5956fd9..18339f7 100644 --- a/test/regression/Results/initializers +++ b/test/regression/Results/initializers @@ -23,3 +23,5 @@ x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, } x22 ok x23 = { hd = 8, tl = ok } x24[6] = { '/', '*', 'B', '*', '/', 0, } +x25[4] = { "/tmp" } +x26[6] = { 'w', 'o', 'r', 'l', 'd', 0, } |