Recently I’ve been intrigued with what tools are available to check for possible correctness problems in code, either statically (at compile time through a static analyzer, say) or dynamically (at runtime through, e.g., a so-called sanitizer).
Here is a free link to a (currently) subscriber-only news article at LWN.net about static analysis tools that some people use to check for possible errors in the Linux kernel:
https://lwn.net/SubscriberLink/683476/93d19173045da031/
I subscribe to LWN.net (Linux Weekly News), but I’ve never sent a link to a newsgroup before, so we’ll see whether I get chastised for it. Let’s just say it’s advertising for LWN.net.
I downloaded and built smatch, for example, and played with it a bit without gaining much insight. I ran it on all generated .i files in gambit/lib after adding -save-temps to the GCC command; the warnings are a the end of this email. Some of the warnings were for code in header files, and other (such as "inconsistent indenting”) may not be so relevant for machine-generated code.
It did flag a few things it called “error”s, so these should be checked, I guess.
Brad
firefly:~/programs/gambit/gambit> ../smatch lib/*.i Warning: /home/lucier/share/smatch/smatch_data/ is not accessible. Use --no-data or --data to suppress this message. lib/_eval.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_eval.i:34939:26: warning: non-ANSI function declaration of function '___init_mod' lib/_eval.i:12427 ___H__20___eval() warn: inconsistent indenting lib/_eval.i:34943 ___init_mod() warn: inconsistent indenting lib/_eval.i:2187 __signbitl() warn: inconsistent indenting lib/_gambit.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_gambit.i:2187 __signbitl() warn: inconsistent indenting lib/_io.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_io.i:83357:26: warning: non-ANSI function declaration of function '___init_mod' lib/_io.i:16065 ___H__20___io() warn: inconsistent indenting lib/_io.i:47995 ___H__20___io() warn: inconsistent indenting lib/_io.i:49841 ___H__20___io() warn: inconsistent indenting lib/_io.i:50363 ___H__20___io() warn: inconsistent indenting lib/_io.i:51654 ___H__20___io() warn: inconsistent indenting lib/_io.i:53778 ___H__20___io() warn: inconsistent indenting lib/_io.i:83361 ___init_mod() warn: inconsistent indenting lib/_io.i:2187 __signbitl() warn: inconsistent indenting lib/_kernel.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_kernel.i:34103:26: warning: non-ANSI function declaration of function '___init_mod' lib/_kernel.i:18730 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18814 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18823 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18825 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18827 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18836 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18838 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18840 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18849 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18851 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18853 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18854 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18856 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18858 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18859 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18861 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18863 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18864 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18866 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18868 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18869 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18871 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18873 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18874 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18876 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18880 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18881 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18883 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18885 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18886 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18888 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18890 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18891 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:18893 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19027 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19028 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19030 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19032 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19033 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19035 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19089 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19107 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19140 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19229 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19262 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19284 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19290 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19316 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19322 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19353 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19359 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19450 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19456 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19578 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19584 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19757 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:19769 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19826 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19852 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:19951 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:20109 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:20127 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:20166 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:20185 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:20194 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22226 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22233 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22237 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22455 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22471 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22570 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22588 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:22608 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22648 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22656 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22738 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22892 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22893 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22930 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22931 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22968 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:22969 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23006 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23007 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23060 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23062 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23082 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23105 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23152 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23201 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23225 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23277 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23367 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23457 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23547 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23637 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23727 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23817 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:23907 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24006 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24105 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24196 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24296 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24410 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24445 ___H__20___kernel() info: ignoring unreachable code. lib/_kernel.i:24447 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24475 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24539 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24540 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24651 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24678 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24710 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24717 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24742 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24764 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24787 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24820 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:24851 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25088 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25115 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25161 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25188 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25218 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25269 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25300 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25351 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25390 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25450 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25488 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25525 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25588 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25705 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25715 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25745 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25863 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25864 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:25882 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26037 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26072 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26182 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26308 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26357 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26358 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26467 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26479 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26544 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26546 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26554 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26557 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26577 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26607 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26635 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26663 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26703 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26704 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26724 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:26782 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:27317 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:27860 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:27894 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:27895 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:27898 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28509 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28512 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28576 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28576 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28581 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28607 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28630 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28657 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28688 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28715 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28750 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28777 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28818 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28844 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28872 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28898 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28926 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28951 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28975 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:28999 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29011 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29035 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29047 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29071 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29083 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29110 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29137 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29148 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29173 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29189 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29213 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29223 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29247 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29257 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29282 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29298 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29323 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29339 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29363 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29378 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29402 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29417 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29442 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29458 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29484 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29506 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29530 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29540 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29565 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29581 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29606 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29622 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29648 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29670 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29696 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29718 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29745 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29773 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29800 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29834 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29861 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29895 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29920 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29936 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29961 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:29977 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30003 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30025 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30051 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30073 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30100 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30128 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30155 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30189 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30214 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30230 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30255 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30271 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30298 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30350 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30377 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30411 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30437 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30459 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30486 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30526 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30551 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30567 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30592 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30608 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30634 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30656 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30681 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30697 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30722 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30738 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30763 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30779 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30806 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30834 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30861 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30889 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30914 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30930 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30956 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:30978 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31004 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31026 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31052 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31074 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31101 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31147 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31174 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31202 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31227 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31243 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31270 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31298 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31324 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31346 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31371 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31387 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31411 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31421 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31446 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31462 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31489 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31535 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31560 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31576 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31600 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31610 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31636 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31658 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31683 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31699 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31724 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31740 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31764 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31774 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31798 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31808 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31834 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31856 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31882 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31904 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31930 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31952 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:31978 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32000 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32025 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32041 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32066 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32082 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32108 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32130 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32156 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32178 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32203 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32219 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32245 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32267 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32291 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32303 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32327 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32339 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32363 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32375 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32399 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:32416 ___H__20___kernel() warn: inconsistent indenting lib/_kernel.i:34107 ___init_mod() warn: inconsistent indenting lib/_kernel.i:2187 __signbitl() warn: inconsistent indenting lib/_nonstd.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_nonstd.i:25603:26: warning: non-ANSI function declaration of function '___init_mod' lib/_nonstd.i:8660 ___H__20___nonstd() warn: inconsistent indenting lib/_nonstd.i:25607 ___init_mod() warn: inconsistent indenting lib/_nonstd.i:2187 __signbitl() warn: inconsistent indenting lib/_num.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_num.i:73313:26: warning: non-ANSI function declaration of function '___init_mod' lib/_num.i:19533 ___H__20___num() warn: inconsistent indenting lib/_num.i:50383 ___H__20___num() warn: inconsistent indenting lib/_num.i:50398 ___H__20___num() warn: inconsistent indenting lib/_num.i:50479 ___H__20___num() warn: inconsistent indenting lib/_num.i:50544 ___H__20___num() warn: inconsistent indenting lib/_num.i:50655 ___H__20___num() warn: inconsistent indenting lib/_num.i:73317 ___init_mod() warn: inconsistent indenting lib/_num.i:2187 __signbitl() warn: inconsistent indenting lib/_repl.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_repl.i:36278:26: warning: non-ANSI function declaration of function '___init_mod' lib/_repl.i:12886 ___H__20___repl() warn: inconsistent indenting lib/_repl.i:36282 ___init_mod() warn: inconsistent indenting lib/_repl.i:2187 __signbitl() warn: inconsistent indenting lib/_std.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_std.i:53812:26: warning: non-ANSI function declaration of function '___init_mod' lib/_std.i:18142 ___H__20___std() warn: inconsistent indenting lib/_std.i:19830 ___H__20___std() warn: inconsistent indenting lib/_std.i:19875 ___H__20___std() warn: inconsistent indenting lib/_std.i:21460 ___H__20___std() warn: inconsistent indenting lib/_std.i:21505 ___H__20___std() warn: inconsistent indenting lib/_std.i:23143 ___H__20___std() warn: inconsistent indenting lib/_std.i:23188 ___H__20___std() warn: inconsistent indenting lib/_std.i:24810 ___H__20___std() warn: inconsistent indenting lib/_std.i:24855 ___H__20___std() warn: inconsistent indenting lib/_std.i:26477 ___H__20___std() warn: inconsistent indenting lib/_std.i:26522 ___H__20___std() warn: inconsistent indenting lib/_std.i:28144 ___H__20___std() warn: inconsistent indenting lib/_std.i:28189 ___H__20___std() warn: inconsistent indenting lib/_std.i:30026 ___H__20___std() warn: inconsistent indenting lib/_std.i:30071 ___H__20___std() warn: inconsistent indenting lib/_std.i:31969 ___H__20___std() warn: inconsistent indenting lib/_std.i:32014 ___H__20___std() warn: inconsistent indenting lib/_std.i:33912 ___H__20___std() warn: inconsistent indenting lib/_std.i:33957 ___H__20___std() warn: inconsistent indenting lib/_std.i:35855 ___H__20___std() warn: inconsistent indenting lib/_std.i:35900 ___H__20___std() warn: inconsistent indenting lib/_std.i:37559 ___H__20___std() warn: inconsistent indenting lib/_std.i:37604 ___H__20___std() warn: inconsistent indenting lib/_std.i:39202 ___H__20___std() warn: inconsistent indenting lib/_std.i:39247 ___H__20___std() warn: inconsistent indenting lib/_std.i:49008 ___H__20___std() warn: inconsistent indenting lib/_std.i:49062 ___H__20___std() warn: inconsistent indenting lib/_std.i:49089 ___H__20___std() warn: inconsistent indenting lib/_std.i:49135 ___H__20___std() warn: inconsistent indenting lib/_std.i:49162 ___H__20___std() warn: inconsistent indenting lib/_std.i:49208 ___H__20___std() warn: inconsistent indenting lib/_std.i:49235 ___H__20___std() warn: inconsistent indenting lib/_std.i:49281 ___H__20___std() warn: inconsistent indenting lib/_std.i:49308 ___H__20___std() warn: inconsistent indenting lib/_std.i:49354 ___H__20___std() warn: inconsistent indenting lib/_std.i:49381 ___H__20___std() warn: inconsistent indenting lib/_std.i:49427 ___H__20___std() warn: inconsistent indenting lib/_std.i:49454 ___H__20___std() warn: inconsistent indenting lib/_std.i:49500 ___H__20___std() warn: inconsistent indenting lib/_std.i:49527 ___H__20___std() warn: inconsistent indenting lib/_std.i:49573 ___H__20___std() warn: inconsistent indenting lib/_std.i:49600 ___H__20___std() warn: inconsistent indenting lib/_std.i:49646 ___H__20___std() warn: inconsistent indenting lib/_std.i:49673 ___H__20___std() warn: inconsistent indenting lib/_std.i:49719 ___H__20___std() warn: inconsistent indenting lib/_std.i:49746 ___H__20___std() warn: inconsistent indenting lib/_std.i:49792 ___H__20___std() warn: inconsistent indenting lib/_std.i:49819 ___H__20___std() warn: inconsistent indenting lib/_std.i:49865 ___H__20___std() warn: inconsistent indenting lib/_std.i:53816 ___init_mod() warn: inconsistent indenting lib/_std.i:2187 __signbitl() warn: inconsistent indenting lib/_system.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_system.i:19377:26: warning: non-ANSI function declaration of function '___init_mod' lib/_system.i:7014 ___H__20___system() warn: inconsistent indenting lib/_system.i:7300 ___H__20___system() warn: inconsistent indenting lib/_system.i:19381 ___init_mod() warn: inconsistent indenting lib/_system.i:2187 __signbitl() warn: inconsistent indenting lib/_thread.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/_thread.i:24731:26: warning: non-ANSI function declaration of function '___init_mod' lib/_thread.i:7990 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:15924 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:15926 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:15933 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:21655 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:21734 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:22622 ___H__20___thread() warn: inconsistent indenting lib/_thread.i:24735 ___init_mod() warn: inconsistent indenting lib/_thread.i:2187 __signbitl() warn: inconsistent indenting lib/actlog.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/c_intf.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/c_intf.i:2187 __signbitl() warn: inconsistent indenting lib/main.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/main.i:14667 extend_strvec() error: we previously assumed 'old_strvec' could be null (see line 14657) lib/main.i:2187 __signbitl() warn: inconsistent indenting lib/mem.i:2191:64: warning: obsolete struct initializer, use C99 syntax lib/mem.i:16416:5: warning: non-ANSI function declaration of function 'mark_continuation' lib/mem.i:16477:5: warning: non-ANSI function declaration of function 'mark_rc' lib/mem.i:16657:5: warning: non-ANSI function declaration of function 'setup_still_objs_to_scan' lib/mem.i:16682:5: warning: non-ANSI function declaration of function 'scan_still_objs_to_scan' lib/mem.i:16698:5: warning: non-ANSI function declaration of function 'scan_movable_objs_to_scan' lib/mem.i:16752:5: warning: non-ANSI function declaration of function 'free_unmarked_still_objs' lib/mem.i:17163:5: warning: non-ANSI function declaration of function 'process_wills' lib/mem.i:17231:5: warning: non-ANSI function declaration of function 'process_gc_hash_tables' lib/mem.i:17899:5: warning: non-ANSI function declaration of function 'move_continuation' lib/mem.i:18070:5: warning: non-ANSI function declaration of function 'mark_registers' lib/mem.i:18085:5: warning: non-ANSI function declaration of function 'mark_current_thread' lib/mem.i:18151:5: warning: non-ANSI function declaration of function 'mark_symkey_tables' lib/mem.i:18167:5: warning: non-ANSI function declaration of function 'mark_reachable_from_marked' lib/mem.i:18182:5: warning: non-ANSI function declaration of function 'garbage_collect_setup_phase' lib/mem.i:18223:5: warning: non-ANSI function declaration of function 'garbage_collect_mark_strong_phase' lib/mem.i:18256:5: warning: non-ANSI function declaration of function 'garbage_collect_mark_weak_phase' lib/mem.i:18277:5: warning: non-ANSI function declaration of function 'garbage_collect_cleanup_phase' lib/mem.i:18422:5: warning: non-ANSI function declaration of function '___stack_limit' lib/mem.i:18474:5: warning: non-ANSI function declaration of function '___heap_limit' lib/mem.i:18509:5: warning: non-ANSI function declaration of function '___bytes_allocated' lib/mem.i:15013 adjust_msections() error: we previously assumed 'ms' could be null (see line 14973) lib/mem.i:16628 scan() warn: inconsistent indenting lib/mem.i:16825 adjust_heap() debug: sval_binop_signed: invalid divide LLONG_MIN/-1 lib/mem.i:2192 __signbitl() warn: inconsistent indenting lib/os.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os.i:16581 ___SCMOBJ_to_sockaddr() warn: inconsistent indenting lib/os.i:16603 ___SCMOBJ_to_sockaddr() warn: inconsistent indenting lib/os.i:16645 ___sockaddr_to_SCMOBJ() warn: inconsistent indenting lib/os.i:16670 ___sockaddr_to_SCMOBJ() warn: inconsistent indenting lib/os.i:16962 ___os_host_info() warn: inconsistent indenting lib/os.i:17282 ___os_service_info() warn: inconsistent indenting lib/os.i:17298 ___os_service_info() warn: inconsistent indenting lib/os.i:17328 ___os_service_info() error: we previously assumed 'se' could be null (see line 17304) lib/os.i:17380 ___os_service_info() warn: inconsistent indenting lib/os.i:17437 ___os_protocol_info() warn: inconsistent indenting lib/os.i:17472 ___os_protocol_info() error: we previously assumed 'pe' could be null (see line 17451) lib/os.i:2187 __signbitl() warn: inconsistent indenting lib/os_base.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_base.i:14735 ___fatal_error() error: buffer overflow 'new_msgs' 100 <= 100 lib/os_base.i:2187 __signbitl() warn: inconsistent indenting lib/os_dyn.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_dyn.i:2187 __signbitl() warn: inconsistent indenting lib/os_files.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_files.i:2187 __signbitl() warn: inconsistent indenting lib/os_io.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_io.i:16145 ___device_select() warn: inconsistent indenting lib/os_io.i:16370 ___device_select_add_fd() warn: inconsistent indenting lib/os_io.i:16388 ___device_select_add_fd() warn: inconsistent indenting lib/os_io.i:16946 ___device_pipe_select_raw_virt() warn: inconsistent indenting lib/os_io.i:16971 ___device_pipe_select_raw_virt() warn: inconsistent indenting lib/os_io.i:17678 ___device_tcp_client_select_raw_virt() warn: inconsistent indenting lib/os_io.i:17695 ___device_tcp_client_select_raw_virt() warn: inconsistent indenting lib/os_io.i:18236 ___device_tcp_server_select_virt() warn: inconsistent indenting lib/os_io.i:18930 ___device_file_select_raw_virt() warn: inconsistent indenting lib/os_io.i:18947 ___device_file_select_raw_virt() warn: inconsistent indenting lib/os_io.i:19710 open_full_duplex_pipe1() warn: inconsistent indenting lib/os_io.i:19762 open_full_duplex_pipe2() warn: inconsistent indenting lib/os_io.i:19978 ___device_stream_setup_from_process() warn: inconsistent indenting lib/os_io.i:2187 __signbitl() warn: inconsistent indenting lib/os_shell.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_thread.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_thread.i:2187 __signbitl() warn: inconsistent indenting lib/os_time.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_time.i:2187 __signbitl() warn: inconsistent indenting lib/os_tty.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/os_tty.i:16785 ___device_tty_force_open() warn: missing break? reassigning 'd->stage' lib/os_tty.i:17285 lineeditor_dkey_install() warn: inconsistent indenting lib/os_tty.i:17869 lineeditor_output_cap3() warn: curly braces intended? lib/os_tty.i:17926 lineeditor_output_cap3() warn: inconsistent indenting lib/os_tty.i:21290 lineeditor_line_done() error: we previously assumed 'input_line->buffer' could be null (see line 21260) lib/os_tty.i:21934 ___device_tty_select_raw_virt() warn: inconsistent indenting lib/os_tty.i:21962 ___device_tty_select_raw_virt() warn: inconsistent indenting lib/os_tty.i:2187 __signbitl() warn: inconsistent indenting lib/setup.i:2186:64: warning: obsolete struct initializer, use C99 syntax lib/setup.i:14853:5: warning: non-ANSI function declaration of function 'barrier_sync_noop' lib/setup.i:15011:5: warning: non-ANSI function declaration of function 'service_sync_op' lib/setup.i:15086:5: warning: non-ANSI function declaration of function '___actlog_start' lib/setup.i:15102:5: warning: non-ANSI function declaration of function '___actlog_stop' lib/setup.i:15127 align() warn: inconsistent indenting lib/setup.i:16458 ___call() warn: inconsistent indenting lib/setup.i:16502 ___run() warn: inconsistent indenting lib/setup.i:2187 __signbitl() warn: inconsistent indenting firefly:~/programs/gambit/gambit>