source: tests/nowarn/zero-thunk.cfa @ e0330d2c

Last change on this file since e0330d2c was e0330d2c, checked in by Michael Brooks <mlbrooks@…>, 5 weeks ago

Remove unnecessary special case for zero_t in code gen that caused unused-variable warning in thunks.

Add instructions for tidying warnings (with the present zero_t case as its running example) as a "proposal."

The code gen change is safe because a corresponding case for one_t was always "missing" and the the variable at issue is never used meaningfully. (Prior work has size_t lowered as int. While that's a dubious choice, it's beyond what I'm fixing here.)

Mark these tests as now clean of warnings:

array-collections/array-basic
ctrl-flow/loopctrl
vector
vector_math/vec2_int
vector_math/vec2_float
vector_math/vec3_float
vector_math/vec4_float
zero_one

  • Property mode set to 100644
File size: 181 bytes
Line 
1forall( | { int g( zero_t ); } )
2void f( ) {
3    g( 0 );
4}
5
6forall( T )
7T g( zero_t ) {
8    printf( "%ld\n", sizeof(T) );
9    return (T){};
10}
11
12int main() {
13    f();
14    return 0;
15}
Note: See TracBrowser for help on using the repository browser.