Lines Matching defs:IsPedantic

1717     const bool IsPedantic = Name == "pedantic";
1719     if (!SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty())) {
1727       if (IsPedantic) {
1765     const bool IsPedantic = Name == "pedantic";
1768     if (!V.empty() || (IsPedantic && !DiagsInPedantic.empty())) {
1773       if (IsPedantic) {
1856     const bool IsPedantic = Name == "pedantic";
1861         !V.empty() || (IsPedantic && !DiagsInPedantic.empty());
1865       if (IsPedantic)
1875         !SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty());
1879       if (IsPedantic)