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