Re: [Tinycc-devel] #line directive with file name

2018-04-12 Thread Christian Jullien
return 0; } And cl gives: #line 1 "foo.c" int main() { #line 30 "demo.c" printf("hello\n"); #line 40 "demo.c" return 0; } Which looks correct. Is there something I’m missing with the issue you’re facing? From: Tiny

[Tinycc-devel] #line directive with file name

2018-04-12 Thread Yakov
I am curious why my copy of TinyC ignores the second argument to the #line directive? In a file named prog.c I am trying to rename lines as if they come from demo.c int main() { #line 30 "demo.c" printf("hello\n"); #line 40 "demo.c" return 0; } It works as expected for GCC, but