llvm-project
1140 строк · 33.8 Кб
1// FormatString.cpp - Common stuff for handling printf/scanf formats -*- C++ -*-2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// Shared details for processing format strings of printf and scanf10// (and friends).11//12//===----------------------------------------------------------------------===//13// Key function to FormatStringHandler.29FormatStringHandler::~FormatStringHandler() {}30//===----------------------------------------------------------------------===//32// Functions for parsing format strings components in both printf and33// scanf format strings.34//===----------------------------------------------------------------------===//35OptionalAmount37clang::analyze_format_string::ParseAmount(const char *&Beg, const char *E) {38const char *I = Beg;39UpdateOnReturn <const char*> UpdateBeg(Beg, I);40}61OptionalAmount63clang::analyze_format_string::ParseNonPositionAmount(const char *&Beg,64const char *E,65unsigned &argIndex) {66if (*Beg == '*') {67++Beg;68return OptionalAmount(OptionalAmount::Arg, argIndex++, Beg, 0, false);69}70}73OptionalAmount75clang::analyze_format_string::ParsePositionAmount(FormatStringHandler &H,76const char *Start,77const char *&Beg,78const char *E,79PositionContext p) {80if (*Beg == '*') {81const char *I = Beg + 1;82const OptionalAmount &Amt = ParseAmount(I, E);83}119bool122clang::analyze_format_string::ParseFieldWidth(FormatStringHandler &H,123FormatSpecifier &CS,124const char *Start,125const char *&Beg, const char *E,126unsigned *argIndex) {127// FIXME: Support negative field widths.128if (argIndex) {129CS.setFieldWidth(ParseNonPositionAmount(Beg, E, *argIndex));130}131else {132const OptionalAmount Amt =133ParsePositionAmount(H, Start, Beg, E,134analyze_format_string::FieldWidthPos);135}142bool144clang::analyze_format_string::ParseArgPosition(FormatStringHandler &H,145FormatSpecifier &FS,146const char *Start,147const char *&Beg,148const char *E) {149const char *I = Beg;150}179bool181clang::analyze_format_string::ParseVectorModifier(FormatStringHandler &H,182FormatSpecifier &FS,183const char *&I,184const char *E,185const LangOptions &LO) {186if (!LO.OpenCL)187return false;188}209bool211clang::analyze_format_string::ParseLengthModifier(FormatSpecifier &FS,212const char *&I,213const char *E,214const LangOptions &LO,215bool IsScanf) {216LengthModifier::Kind lmKind = LengthModifier::None;217const char *lmPosition = I;218switch (*I) {219default:220return false;221case 'h':222++I;223if (I != E && *I == 'h') {224++I;225lmKind = LengthModifier::AsChar;226} else if (I != E && *I == 'l' && LO.OpenCL) {227++I;228lmKind = LengthModifier::AsShortLong;229} else {230lmKind = LengthModifier::AsShort;231}232break;233case 'l':234++I;235if (I != E && *I == 'l') {236++I;237lmKind = LengthModifier::AsLongLong;238} else {239lmKind = LengthModifier::AsLong;240}241break;242case 'j': lmKind = LengthModifier::AsIntMax; ++I; break;243case 'z': lmKind = LengthModifier::AsSizeT; ++I; break;244case 't': lmKind = LengthModifier::AsPtrDiff; ++I; break;245case 'L': lmKind = LengthModifier::AsLongDouble; ++I; break;246case 'q': lmKind = LengthModifier::AsQuad; ++I; break;247case 'a':248if (IsScanf && !LO.C99 && !LO.CPlusPlus11) {249// For scanf in C90, look at the next character to see if this should250// be parsed as the GNU extension 'a' length modifier. If not, this251// will be parsed as a conversion specifier.252++I;253if (I != E && (*I == 's' || *I == 'S' || *I == '[')) {254lmKind = LengthModifier::AsAllocate;255break;256}257--I;258}259return false;260case 'm':261if (IsScanf) {262lmKind = LengthModifier::AsMAllocate;263++I;264break;265}266return false;267// printf: AsInt64, AsInt32, AsInt3264268// scanf: AsInt64269case 'I':270if (I + 1 != E && I + 2 != E) {271if (I[1] == '6' && I[2] == '4') {272I += 3;273lmKind = LengthModifier::AsInt64;274break;275}276if (IsScanf)277return false;278}295}318//===----------------------------------------------------------------------===//320// Methods on ArgType.321//===----------------------------------------------------------------------===//322}602}611}647}668//===----------------------------------------------------------------------===//671// Methods on OptionalAmount.672//===----------------------------------------------------------------------===//673ArgType675analyze_format_string::OptionalAmount::getArgType(ASTContext &Ctx) const {676return Ctx.IntTy;677}678//===----------------------------------------------------------------------===//680// Methods on LengthModifier.681//===----------------------------------------------------------------------===//682}723//===----------------------------------------------------------------------===//725// Methods on ConversionSpecifier.726//===----------------------------------------------------------------------===//727}790}813//===----------------------------------------------------------------------===//815// Methods on OptionalAmount.816//===----------------------------------------------------------------------===//817}838}1007}1032}1083}1100}1114}1141