Searched refs:ModelPOSIX (Results 1 – 3 of 3) sorted by relevance
716 bool ModelPOSIX = false; member in __anon2143b5530111::StdLibraryFunctionsChecker1737 if (ModelPOSIX) { in initFunctionSummaries()3196 Checker->ModelPOSIX = Opts.getCheckerBooleanOption(Checker, "ModelPOSIX"); in registerStdCLibraryFunctionsChecker()
2502 default. The ``ModelPOSIX`` option enables the checker to model (and emit2575 The ``ModelPOSIX`` option of that checker affects the set of checked functions.
376 "ModelPOSIX",