1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 69 unchanged lines hidden (view full) ---

78
79 for (auto i: opts->_interfaces)
80 proc->addStatic(new PendingSensitivityInterface(proc, i));
81
82 for (auto f: opts->_finders)
83 proc->addStatic(new PendingSensitivityFinder(proc, f));
84 }
85
86 scheduler.reg(proc);
87
88 if (dontInitialize)
89 scheduler.dontInitialize(proc);
90
91 return proc;
92}
93

--- 132 unchanged lines hidden ---