- // check arguments
- Set<CompositeLocation> glbInputSet = new HashSet<CompositeLocation>();
- for (int i = 0; i < con.numArgs(); i++) {
- ExpressionNode en = con.getArg(i);
- CompositeLocation argLoc =
- checkLocationFromExpressionNode(md, nametable, en, new CompositeLocation());
- glbInputSet.add(argLoc);
- addLocationType(en.getType(), argLoc);
- }
-
- // check array initializers
- // if ((con.getArrayInitializer() != null)) {
- // checkLocationFromArrayInitializerNode(md, nametable,
- // con.getArrayInitializer());
- // }
-
- if (glbInputSet.size() > 0) {
- return CompositeLattice.calculateGLB(glbInputSet);
- }
-