Started by user pabuhrpabuhrpabuhr0001118104211802421.039211810450025516d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/master16d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/master16d9c3ad11804ba6611afddc59feffaa040594e116d9c3ad11804ba6611afddc59feffaa040594e1refs/remotes/origin/mastercforall@plg.uwaterloo.ca:software/cfa/cfa-cchttps://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/artifacthttps://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/changeshttps://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/stageshttps://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/testReportfalsefalse#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/mlbrooksmlbrooksmlbrookshttps://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrpabuhrfalseStarted by user pabuhrpabuhrpabuhr0001147313114717441.0200256fc9d167d64b216338bbb31c8110868bf4a4c6068fc9d167d64b216338bbb31c8110868bf4a4c6068refs/remotes/origin/masterfc9d167d64b216338bbb31c8110868bf4a4c6068fc9d167d64b216338bbb31c8110868bf4a4c6068refs/remotes/origin/masterfc9d167d64b216338bbb31c8110868bf4a4c6068fc9d167d64b216338bbb31c8110868bf4a4c6068refs/remotes/origin/mastercforall@plg.uwaterloo.ca:software/cfa/cfa-ccfalse#25614731312301959Cforall Full Build #256256false25615307FAILURE1777672467982https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/256/tests/array-collections/.expect/c-dependent.txttests/array-collections/c-dependent.cfafc9d167d64b216338bbb31c8110868bf4a4c60681777669595000https://cforall.uwaterloo.ca/jenkins/user/mlbrooksmlbrooksmlbrooks@uwaterloo.caSlightly loosen a test that has failed on 32-bit build lately. Since 16d9c3a, this test was failing on all builds. The present change in not 32-bit specific; it's expected to fix this particular test, on all builds. Note there are further 32-bit issues remaining, even after this fix. Test is: array-collections/c-dependent Loosening is: Adjust test's scope to avoid exercising "truly incorrect" C code; which may receive compile-time array-bound warnings on sufficiently advanced C compilers. In test code and .expect, switch from passing incorrect bounds to passing correct bounds; the point of the test (newly clarified, always foremost) is that CFA handles C's dependently sized VLA parameter. 2026-05-01 17:06:35 -0400fc9d167d64b216338bbb31c8110868bf4a4c6068Slightly loosen a test that has failed on 32-bit build lately.edittests/array-collections/.expect/c-dependent.txtedittests/array-collections/c-dependent.cfagithttps://cforall.uwaterloo.ca/jenkins/user/mlbrooksmlbrookshttps://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrfalse257https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/257/255https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/Started by timer0001118786511859081.0233254f69dafc1d6bde9da84bdff0c1efe5f8479bba88bf69dafc1d6bde9da84bdff0c1efe5f8479bba88brefs/remotes/origin/masterf69dafc1d6bde9da84bdff0c1efe5f8479bba88bf69dafc1d6bde9da84bdff0c1efe5f8479bba88brefs/remotes/origin/masterf69dafc1d6bde9da84bdff0c1efe5f8479bba88bf69dafc1d6bde9da84bdff0c1efe5f8479bba88brefs/remotes/origin/mastercforall@plg.uwaterloo.ca:software/cfa/cfa-ccfalse#25411878652301959Cforall Full Build #254254false25415175FAILURE1777603620542https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/254/https://cforall.uwaterloo.ca/jenkins/user/pabuhrpabuhrfalse255https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/255/253https://cforall.uwaterloo.ca/jenkins/view/all/job/Cforall_Full_Build/253/