unplugged-system/external/clang/test/Analysis/Inputs/Models/notzero.model