search for: codecontext

I'm writing a C compiler in OCaml and I've run into a small problem. I wrote the following piece of code to generate a pointer to a string constant, so I could compile C expressions of the form "const char* p = "test\n";" : let strval = const_stringz codecontext v in dump_value strval; dump_value i32_zero; const_gep strval [| i32_zero; i32_zero |] The dump statements I put confirm that the string array and the index values have the types I would expect: [6 x i8] c"test\0A\00" i32 0 However, the code still seems to break an assertion: Constant...

...I'm writing a C compiler in OCaml and I've run into a small problem. I wrote > the following piece of code to generate a pointer to a string constant, so I > could compile C expressions of the form "const char* p = "test\n";" : > > let strval = const_stringz codecontext v in > dump_value strval; > dump_value i32_zero; > const_gep strval [| i32_zero; i32_zero |] > > The dump statements I put confirm that the string array and the index values > have the types I would expect: > > [6 x i8] c"test\0A\00" > i32 0 > > However...