Changeset 58a4cde


Ignore:
Timestamp:
Aug 6, 2025, 10:47:44 AM (2 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
master
Children:
81e1984b
Parents:
d7a2de1 (diff), b2e4a73 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Files:
1 added
3 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rd7a2de1 r58a4cde  
    320320                        // Use only generic clang/gcc here because of unknown version numbers on different architectures.
    321321                        case 'clang':
    322                                 this.Compiler = new CC_Desc('clang', 'clang++', 'gcc', '-flto=thin -flto-jobs=0')
     322                                this.Compiler = new CC_Desc('clang', 'clang++', 'gcc-11', '-flto=thin -flto-jobs=0')
    323323                        break
    324324                        default :
     
    379379                                        description: 'Which compiler to use',                   \
    380380                                        name: 'Compiler',                                       \
    381                                         choices: 'gcc-9\ngcc-10\ngcc-11\ngcc-12gcc-13gcc-14\nclang',    \
     381                                        choices: 'gcc-9\ngcc-10\ngcc-11\ngcc-12\ngcc-13\ngcc-14\nclang', \
    382382                                        defaultValue: 'gcc',                                    \
    383383                                ],                                                              \
  • libcfa/src/heap.cfa

    rd7a2de1 r58a4cde  
    1010// Created On       : Tue Dec 19 21:58:35 2017
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Wed Aug  7 10:14:47 2024
    13 // Update Count     : 1646
     12// Last Modified On : Thu May 15 16:47:35 2025
     13// Update Count     : 1647
    1414//
    1515
     
    974974        if ( likely( tsize < heapMaster.mmapStart ) ) {         // small size => sbrk
    975975                size_t bucket;
     976                // Find smallest bucket that is >= the allocation side.
    976977                #ifdef FASTLOOKUP
    977978                if ( likely( tsize < LookupSizes ) ) bucket = lookup[tsize];
  • src/ResolvExpr/SatisfyAssertions.cpp

    rd7a2de1 r58a4cde  
    1010// Created On       : Mon Jun 10 17:45:00 2019
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Tue Jul  2 18:15:51 2024
    13 // Update Count     : 5
     12// Last Modified On : Thu Jul 31 18:04:31 2025
     13// Update Count     : 6
    1414//
    1515
     
    456456                        // should a limit be imposed? worst case here is O(n^2) but very unlikely to happen.
    457457
    458                         for (unsigned resetCount = 0; ; ++resetCount) {
     458                        for ( ;; ) {
    459459                                ast::AssertionList next;
    460460                                // make initial pass at matching assertions
     
    475475                                        } else if ( result == AssertionResult::Skip ) {
    476476                                                next.emplace_back(assn);
    477                                                 // goto nextSat;
    478477                                        }
    479478                                }
Note: See TracChangeset for help on using the changeset viewer.