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