File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -420,11 +420,13 @@ resolve_inherited_componentt::inherited_componentt get_inherited_component(
420
420
// / \return true if this static field is known never to be null
421
421
bool is_non_null_library_global (const irep_idt &symbolid)
422
422
{
423
- static const std::unordered_set< irep_idt> non_null_globals = {
423
+ static const irep_idt non_null_globals[] = {
424
424
" java::java.lang.System.out" ,
425
425
" java::java.lang.System.err" ,
426
426
" java::java.lang.System.in" };
427
- return non_null_globals.count (symbolid);
427
+ return symbolid == non_null_globals[0 ] ||
428
+ symbolid == non_null_globals[1 ] ||
429
+ symbolid == non_null_globals[2 ];
428
430
}
429
431
430
432
// / Methods belonging to the class org.cprover.CProver that should be ignored
You can’t perform that action at this time.
0 commit comments