We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e23d216 commit fe196d3Copy full SHA for fe196d3
jbmc/src/java_bytecode/java_string_library_preprocess.cpp
@@ -33,7 +33,7 @@ Date: April 2017
33
34
/// \return tag of a struct prefixed by "java::" or symbolic tag
35
/// empty string if not symbol or struct
36
-irep_idt get_tag(const typet &type)
+static irep_idt get_tag(const typet &type)
37
{
38
/// \todo Use follow instead of assuming tag to symbol relationship.
39
if(type.id() == ID_symbol_type)
@@ -169,7 +169,7 @@ bool java_string_library_preprocesst::is_java_char_array_pointer_type(
169
}
170
171
/// \return the type of the length field in java Strings.
172
-typet string_length_type()
+static typet string_length_type()
173
174
return java_int_type();
175
0 commit comments