Error with parameters of the form .class

[mgudemann]

For example, when supplying a Class object in the form of String.class, CBMC fails with

function call: parameter "java::classtest1.f:(Ljava/lang/Class;Z)Z::arg1a" type mismatch: got struct
  * incomplete_class: 1
  * name: java::java.lang.String
  * tag: java.lang.String
  * base_name: java.lang.String
  * components:
    0:
      * type: string
      * name: @class_identifier
      * pretty_name: @class_identifier
  * #class: 1, expected pointer
  * #reference: 1
  0: symbol
      * identifier: java::java.lang.Class
      * #base_name: java.lang.Class

regression test:

public class classtest1
{
  public void test()
  {
    assert(f(String.class, true));
  }

  public boolean f(Class c, boolean b)
  {
    return b;
  }
}

[kroening]

This is fixed with 89e8b8e