Started by user pabuhrpabuhrpabuhr0001118104211802421.020025516d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/master16d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/master16d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/mastercforall@plg.uwaterloo.ca:software/cfa/cfa-ccfalse#25511810422301959Cforall Full Build #255255false25515248FAILURE1777662194914https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/src/Parser/ExpressionNode.cppsrc/Parser/parser.yy2737b37a999fcdc438fd90a4afef0ccdc9059bfb1777651182000https://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrpabuhr@uwaterloo.caformatting 2026-05-01 11:59:42 -04002737b37a999fcdc438fd90a4afef0ccdc9059bfbformattingeditsrc/Parser/ExpressionNode.cppeditsrc/Parser/parser.yyJenkins/FullBuildefa8439ac439de6002beedb6d6dd84e54637ce0f1777651243000https://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrpabuhr@uwaterloo.caformatting 2026-05-01 12:00:43 -0400efa8439ac439de6002beedb6d6dd84e54637ce0fformattingeditJenkins/FullBuildtests/array-collections/c-dependent.cfa16d9c3ad11804ba6611afddc59feffaa040594e11777660989000https://cforall.uwaterloo.ca/jenkins/user/mlbrooksmlbrooksmlbrooks@uwaterloo.caStrengthen a test that had been evading warnings on 64-bit only. This test change is expected to break the 64-bit build (to match currently-broken 32-bit). A subsequet test change is expected to fix both builds. This change makes a test, which was incorrectly architecture-specific, into one that is architecture-independent. Test is: array-collections/c_dependent. The relevant array-size warning occurs in gcc-11+ (new-gcc). The test had been passing on 64-bit only because of a quirk: new-gcc's dependent warning gives false accept when a dimension expression is complex enough; CFA's (arch-specific) inserted casts interacted with an incidental choice of the test program, as follows: // original void f__bound_ptr_allow( int n, float a[n] ); // source void f__bound_ptr_allow( int n, float a[(unsigned long int) n] ); // 64-bit lowering => different enough type, check skipped void f__bound_ptr_allow( int n, float a[(unsigned int) n] ); // 32-bit lowering => close enough type, check enforced // this change's revision void f__bound_ptr_allow( size_t n, float a[n] ); // source void f__bound_ptr_allow( unsigned long int n, float a[(unsigned long int) n] ); // 64-bit lowering => close enough type, check enforced void f__bound_ptr_allow( unsigned int n, float a[(unsigned int) n] ); // 32-bit lowering => close enough type, check enforced 2026-05-01 14:43:09 -040016d9c3ad11804ba6611afddc59feffaa040594e1Strengthen a test that had been evading warnings on 64-bit only.edittests/array-collections/c-dependent.cfagithttps://cforall.uwaterloo.ca/jenkins/user/mlbrooksmlbrookshttps://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrfalse256https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/256/254https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/254/