SMGCPA: fix restricted by checkstyle usage of ImmutableList.Builder

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@39608 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
sosy-lab · Feb 28, 2022 · c4f5f04 · c4f5f04
1 parent f8cf2fb
commit c4f5f04
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/org/sosy_lab/cpachecker/cpa/smg/SMGBuiltins.java b/src/org/sosy_lab/cpachecker/cpa/smg/SMGBuiltins.java
@@ -9,7 +9,6 @@
 package org.sosy_lab.cpachecker.cpa.smg;
 
 import com.google.common.collect.ImmutableList;
-import com.google.common.collect.ImmutableList.Builder;
 import com.google.common.collect.Sets;
 import java.util.ArrayList;
 import java.util.Collections;
@@ -948,11 +947,11 @@ List<SMGAddressValueAndState> handleUnknownFunction(
 
  private boolean isSafeFunction(String calledFunctionName) {
  if (safeUnknownFunctionCompiledPatterns == null) {
- Builder<Pattern> builder = new Builder<>();
+ List<Pattern> list = new ArrayList<>();
  for (String safeUnknownFunctionPattern : options.getSafeUnknownFunctionsPatterns()) {
- builder.add(Pattern.compile(safeUnknownFunctionPattern));
+ list.add(Pattern.compile(safeUnknownFunctionPattern));
  }
- safeUnknownFunctionCompiledPatterns = builder.build();
+ safeUnknownFunctionCompiledPatterns = ImmutableList.copyOf(list);
  }
  for (Pattern safeUnknownFunctionPattern : safeUnknownFunctionCompiledPatterns) {
  if (safeUnknownFunctionPattern.matcher(calledFunctionName).matches()) {