extensions:
  # Make sure that the extensible model predicates have at least one definition
  # to avoid errors about undefined extensionals.
  - addsTo:
      pack: codeql/cpp-all
      extensible: sourceModel
    data: []
  - addsTo:
      pack: codeql/cpp-all
      extensible: sinkModel
    data: []
  - addsTo:
      pack: codeql/cpp-all
      extensible: barrierModel
    data: []
  - addsTo:
      pack: codeql/cpp-all
      extensible: barrierGuardModel
    data: []
  - addsTo:
      pack: codeql/cpp-all
      extensible: summaryModel
    data: []
