grpc 1.30.1 → 1.32.0.pre1

Sign up to get free protection for your applications and to get access to all the features.

Potentially problematic release.


This version of grpc might be problematic. Click here for more details.

Files changed (676) hide show
  1. checksums.yaml +4 -4
  2. data/Makefile +723 -15910
  3. data/include/grpc/grpc_security.h +31 -14
  4. data/include/grpc/grpc_security_constants.h +3 -0
  5. data/include/grpc/impl/codegen/README.md +22 -0
  6. data/include/grpc/impl/codegen/grpc_types.h +7 -5
  7. data/include/grpc/impl/codegen/port_platform.h +6 -33
  8. data/src/core/ext/filters/client_channel/backend_metric.cc +12 -9
  9. data/src/core/ext/filters/client_channel/backup_poller.cc +3 -2
  10. data/src/core/ext/filters/client_channel/client_channel.cc +470 -285
  11. data/src/core/ext/filters/client_channel/client_channel.h +1 -1
  12. data/src/core/ext/filters/client_channel/client_channel_channelz.h +0 -3
  13. data/src/core/ext/filters/client_channel/config_selector.cc +62 -0
  14. data/src/core/ext/filters/client_channel/config_selector.h +93 -0
  15. data/src/core/ext/filters/client_channel/global_subchannel_pool.cc +24 -2
  16. data/src/core/ext/filters/client_channel/health/health_check_client.cc +8 -1
  17. data/src/core/ext/filters/client_channel/http_connect_handshaker.cc +8 -8
  18. data/src/core/ext/filters/client_channel/http_proxy.cc +6 -4
  19. data/src/core/ext/filters/client_channel/lb_policy.h +4 -0
  20. data/src/core/ext/filters/client_channel/lb_policy/child_policy_handler.cc +6 -4
  21. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb.cc +59 -36
  22. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.cc +0 -13
  23. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.h +0 -3
  24. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_channel_secure.cc +1 -37
  25. data/src/core/ext/filters/client_channel/lb_policy/pick_first/pick_first.cc +19 -13
  26. data/src/core/ext/filters/client_channel/lb_policy/priority/priority.cc +29 -10
  27. data/src/core/ext/filters/client_channel/lb_policy/round_robin/round_robin.cc +5 -4
  28. data/src/core/ext/filters/client_channel/lb_policy/subchannel_list.h +4 -6
  29. data/src/core/ext/filters/client_channel/lb_policy/weighted_target/weighted_target.cc +23 -13
  30. data/src/core/ext/filters/client_channel/lb_policy/xds/cds.cc +18 -12
  31. data/src/core/ext/filters/client_channel/lb_policy/xds/eds.cc +22 -14
  32. data/src/core/ext/filters/client_channel/lb_policy/xds/lrs.cc +18 -9
  33. data/src/core/ext/filters/client_channel/lb_policy/xds/xds_routing.cc +385 -78
  34. data/src/core/ext/filters/client_channel/lb_policy_registry.cc +4 -5
  35. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/dns_resolver_ares.cc +5 -2
  36. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_ev_driver.cc +6 -5
  37. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_ev_driver_libuv.cc +8 -6
  38. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_ev_driver_posix.cc +9 -7
  39. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_ev_driver_windows.cc +7 -5
  40. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper.cc +36 -51
  41. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper_libuv.cc +1 -1
  42. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper_windows.cc +1 -1
  43. data/src/core/ext/filters/client_channel/resolver/dns/native/dns_resolver.cc +6 -2
  44. data/src/core/ext/filters/client_channel/resolver/fake/fake_resolver.cc +1 -1
  45. data/src/core/ext/filters/client_channel/resolver/sockaddr/sockaddr_resolver.cc +1 -1
  46. data/src/core/ext/filters/client_channel/resolver/xds/xds_resolver.cc +383 -31
  47. data/src/core/ext/filters/client_channel/resolver_registry.cc +13 -14
  48. data/src/core/ext/filters/client_channel/resolver_result_parsing.cc +6 -7
  49. data/src/core/ext/filters/client_channel/resolver_result_parsing.h +0 -1
  50. data/src/core/ext/filters/client_channel/resolving_lb_policy.cc +38 -32
  51. data/src/core/ext/filters/client_channel/resolving_lb_policy.h +39 -20
  52. data/src/core/ext/filters/client_channel/server_address.cc +40 -7
  53. data/src/core/ext/filters/client_channel/server_address.h +42 -4
  54. data/src/core/ext/filters/client_channel/service_config_channel_arg_filter.cc +142 -0
  55. data/src/core/ext/filters/client_channel/subchannel.cc +65 -24
  56. data/src/core/ext/filters/client_channel/subchannel.h +16 -4
  57. data/src/core/ext/filters/http/client/http_client_filter.cc +5 -5
  58. data/src/core/ext/filters/http/http_filters_plugin.cc +2 -1
  59. data/src/core/ext/filters/http/message_compress/message_decompress_filter.cc +74 -33
  60. data/src/core/ext/filters/http/message_compress/message_decompress_filter.h +3 -1
  61. data/src/core/ext/filters/max_age/max_age_filter.cc +2 -1
  62. data/src/core/ext/filters/message_size/message_size_filter.cc +56 -80
  63. data/src/core/ext/filters/message_size/message_size_filter.h +6 -0
  64. data/src/core/ext/transport/chttp2/client/chttp2_connector.cc +87 -31
  65. data/src/core/ext/transport/chttp2/client/chttp2_connector.h +18 -1
  66. data/src/core/ext/transport/chttp2/client/secure/secure_channel_create.cc +10 -35
  67. data/src/core/ext/transport/chttp2/server/chttp2_server.cc +378 -348
  68. data/src/core/ext/transport/chttp2/server/chttp2_server.h +7 -2
  69. data/src/core/ext/transport/chttp2/server/insecure/server_chttp2.cc +3 -3
  70. data/src/core/ext/transport/chttp2/server/insecure/server_chttp2_posix.cc +10 -16
  71. data/src/core/ext/transport/chttp2/server/secure/server_secure_chttp2.cc +9 -9
  72. data/src/core/ext/transport/chttp2/transport/chttp2_transport.cc +256 -279
  73. data/src/core/ext/transport/chttp2/transport/flow_control.cc +23 -28
  74. data/src/core/ext/transport/chttp2/transport/flow_control.h +14 -16
  75. data/src/core/ext/transport/chttp2/transport/frame_data.cc +9 -12
  76. data/src/core/ext/transport/chttp2/transport/frame_goaway.cc +4 -6
  77. data/src/core/ext/transport/chttp2/transport/frame_ping.cc +5 -6
  78. data/src/core/ext/transport/chttp2/transport/frame_rst_stream.cc +12 -13
  79. data/src/core/ext/transport/chttp2/transport/frame_settings.cc +8 -9
  80. data/src/core/ext/transport/chttp2/transport/frame_window_update.cc +9 -12
  81. data/src/core/ext/transport/chttp2/transport/hpack_parser.cc +25 -29
  82. data/src/core/ext/transport/chttp2/transport/hpack_table.cc +13 -17
  83. data/src/core/ext/transport/chttp2/transport/internal.h +18 -1
  84. data/src/core/ext/transport/chttp2/transport/parsing.cc +34 -71
  85. data/src/core/ext/transport/chttp2/transport/writing.cc +15 -19
  86. data/src/core/ext/transport/inproc/inproc_transport.cc +47 -27
  87. data/src/core/ext/upb-generated/envoy/annotations/deprecation.upb.h +0 -1
  88. data/src/core/ext/upb-generated/envoy/annotations/resource.upb.h +3 -4
  89. data/src/core/ext/upb-generated/envoy/config/accesslog/v3/accesslog.upb.c +224 -0
  90. data/src/core/ext/upb-generated/envoy/config/accesslog/v3/accesslog.upb.h +700 -0
  91. data/src/core/ext/upb-generated/envoy/config/cluster/v3/circuit_breaker.upb.c +74 -0
  92. data/src/core/ext/upb-generated/envoy/config/cluster/v3/circuit_breaker.upb.h +226 -0
  93. data/src/core/ext/upb-generated/envoy/config/cluster/v3/cluster.upb.c +380 -0
  94. data/src/core/ext/upb-generated/envoy/config/cluster/v3/cluster.upb.h +1378 -0
  95. data/src/core/ext/upb-generated/envoy/{api/v2/cluster → config/cluster/v3}/filter.upb.c +8 -8
  96. data/src/core/ext/upb-generated/envoy/config/cluster/v3/filter.upb.h +69 -0
  97. data/src/core/ext/upb-generated/envoy/{api/v2/cluster → config/cluster/v3}/outlier_detection.upb.c +8 -8
  98. data/src/core/ext/upb-generated/envoy/config/cluster/v3/outlier_detection.upb.h +323 -0
  99. data/src/core/ext/upb-generated/envoy/config/core/v3/address.upb.c +112 -0
  100. data/src/core/ext/upb-generated/envoy/config/core/v3/address.upb.h +334 -0
  101. data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/backoff.upb.c +8 -8
  102. data/src/core/ext/upb-generated/envoy/config/core/v3/backoff.upb.h +79 -0
  103. data/src/core/ext/upb-generated/envoy/config/core/v3/base.upb.c +309 -0
  104. data/src/core/ext/upb-generated/envoy/config/core/v3/base.upb.h +869 -0
  105. data/src/core/ext/upb-generated/envoy/config/core/v3/config_source.upb.c +96 -0
  106. data/src/core/ext/upb-generated/envoy/config/core/v3/config_source.upb.h +328 -0
  107. data/src/core/ext/upb-generated/envoy/config/core/v3/event_service_config.upb.c +34 -0
  108. data/src/core/ext/upb-generated/envoy/config/core/v3/event_service_config.upb.h +71 -0
  109. data/src/core/ext/upb-generated/envoy/config/core/v3/grpc_service.upb.c +195 -0
  110. data/src/core/ext/upb-generated/envoy/config/core/v3/grpc_service.upb.h +634 -0
  111. data/src/core/ext/upb-generated/envoy/config/core/v3/health_check.upb.c +170 -0
  112. data/src/core/ext/upb-generated/envoy/config/core/v3/health_check.upb.h +684 -0
  113. data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/http_uri.upb.c +8 -8
  114. data/src/core/ext/upb-generated/envoy/config/core/v3/http_uri.upb.h +80 -0
  115. data/src/core/ext/upb-generated/envoy/config/core/v3/protocol.upb.c +152 -0
  116. data/src/core/ext/upb-generated/envoy/config/core/v3/protocol.upb.h +536 -0
  117. data/src/core/ext/upb-generated/envoy/config/core/v3/proxy_protocol.upb.c +28 -0
  118. data/src/core/ext/upb-generated/envoy/config/core/v3/proxy_protocol.upb.h +58 -0
  119. data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/socket_option.upb.c +6 -6
  120. data/src/core/ext/upb-generated/envoy/config/core/v3/socket_option.upb.h +88 -0
  121. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint.upb.c +91 -0
  122. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint.upb.h +220 -0
  123. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint_components.upb.c +91 -0
  124. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint_components.upb.h +273 -0
  125. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/load_report.upb.c +112 -0
  126. data/src/core/ext/upb-generated/envoy/config/endpoint/v3/load_report.upb.h +332 -0
  127. data/src/core/ext/upb-generated/envoy/config/listener/{v2 → v3}/api_listener.upb.c +8 -8
  128. data/src/core/ext/upb-generated/envoy/config/listener/v3/api_listener.upb.h +65 -0
  129. data/src/core/ext/upb-generated/envoy/config/listener/v3/listener.upb.c +108 -0
  130. data/src/core/ext/upb-generated/envoy/config/listener/v3/listener.upb.h +401 -0
  131. data/src/core/ext/upb-generated/envoy/config/listener/v3/listener_components.upb.c +138 -0
  132. data/src/core/ext/upb-generated/envoy/config/listener/v3/listener_components.upb.h +490 -0
  133. data/src/core/ext/upb-generated/envoy/config/listener/v3/udp_listener_config.upb.c +41 -0
  134. data/src/core/ext/upb-generated/envoy/config/listener/v3/udp_listener_config.upb.h +94 -0
  135. data/src/core/ext/upb-generated/envoy/config/rbac/v3/rbac.upb.c +174 -0
  136. data/src/core/ext/upb-generated/envoy/config/rbac/v3/rbac.upb.h +599 -0
  137. data/src/core/ext/upb-generated/envoy/config/route/v3/route.upb.c +63 -0
  138. data/src/core/ext/upb-generated/envoy/config/route/v3/route.upb.h +204 -0
  139. data/src/core/ext/upb-generated/envoy/config/route/v3/route_components.upb.c +773 -0
  140. data/src/core/ext/upb-generated/envoy/config/route/v3/route_components.upb.h +2855 -0
  141. data/src/core/ext/upb-generated/envoy/config/route/v3/scoped_route.upb.c +59 -0
  142. data/src/core/ext/upb-generated/envoy/config/route/v3/scoped_route.upb.h +135 -0
  143. data/src/core/ext/upb-generated/envoy/config/trace/v3/http_tracer.upb.c +50 -0
  144. data/src/core/ext/upb-generated/envoy/config/trace/v3/http_tracer.upb.h +108 -0
  145. data/src/core/ext/upb-generated/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb.c +312 -0
  146. data/src/core/ext/upb-generated/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb.h +1125 -0
  147. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/cert.upb.c +20 -0
  148. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/cert.upb.h +34 -0
  149. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/common.upb.c +111 -0
  150. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/common.upb.h +401 -0
  151. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/secret.upb.c +72 -0
  152. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/secret.upb.h +198 -0
  153. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/tls.upb.c +105 -0
  154. data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/tls.upb.h +388 -0
  155. data/src/core/ext/upb-generated/envoy/{api/v2 → service/cluster/v3}/cds.upb.c +5 -6
  156. data/src/core/ext/upb-generated/envoy/service/cluster/v3/cds.upb.h +49 -0
  157. data/src/core/ext/upb-generated/envoy/service/discovery/{v2 → v3}/ads.upb.c +5 -4
  158. data/src/core/ext/upb-generated/envoy/service/discovery/v3/ads.upb.h +49 -0
  159. data/src/core/ext/upb-generated/envoy/service/discovery/v3/discovery.upb.c +129 -0
  160. data/src/core/ext/upb-generated/envoy/service/discovery/v3/discovery.upb.h +386 -0
  161. data/src/core/ext/upb-generated/envoy/{api/v2 → service/endpoint/v3}/eds.upb.c +5 -6
  162. data/src/core/ext/upb-generated/envoy/service/endpoint/v3/eds.upb.h +49 -0
  163. data/src/core/ext/upb-generated/envoy/{api/v2 → service/listener/v3}/lds.upb.c +5 -6
  164. data/src/core/ext/upb-generated/envoy/service/listener/v3/lds.upb.h +49 -0
  165. data/src/core/ext/upb-generated/envoy/service/load_stats/v3/lrs.upb.c +55 -0
  166. data/src/core/ext/upb-generated/envoy/service/load_stats/v3/lrs.upb.h +136 -0
  167. data/src/core/ext/upb-generated/envoy/{api/v2 → service/route/v3}/rds.upb.c +5 -6
  168. data/src/core/ext/upb-generated/envoy/service/route/v3/rds.upb.h +49 -0
  169. data/src/core/ext/upb-generated/envoy/{api/v2 → service/route/v3}/srds.upb.c +5 -6
  170. data/src/core/ext/upb-generated/envoy/service/route/v3/srds.upb.h +49 -0
  171. data/src/core/ext/upb-generated/envoy/type/matcher/v3/metadata.upb.c +47 -0
  172. data/src/core/ext/upb-generated/envoy/type/matcher/v3/metadata.upb.h +114 -0
  173. data/src/core/ext/upb-generated/envoy/type/matcher/v3/number.upb.c +35 -0
  174. data/src/core/ext/upb-generated/envoy/type/matcher/v3/number.upb.h +77 -0
  175. data/src/core/ext/upb-generated/envoy/type/matcher/v3/path.upb.c +34 -0
  176. data/src/core/ext/upb-generated/envoy/type/matcher/v3/path.upb.h +71 -0
  177. data/src/core/ext/upb-generated/envoy/type/matcher/v3/regex.upb.c +64 -0
  178. data/src/core/ext/upb-generated/envoy/type/matcher/v3/regex.upb.h +145 -0
  179. data/src/core/ext/upb-generated/envoy/type/matcher/v3/string.upb.c +53 -0
  180. data/src/core/ext/upb-generated/envoy/type/matcher/v3/string.upb.h +127 -0
  181. data/src/core/ext/upb-generated/envoy/type/matcher/v3/value.upb.c +63 -0
  182. data/src/core/ext/upb-generated/envoy/type/matcher/v3/value.upb.h +188 -0
  183. data/src/core/ext/upb-generated/envoy/type/metadata/v3/metadata.upb.c +88 -0
  184. data/src/core/ext/upb-generated/envoy/type/metadata/v3/metadata.upb.h +258 -0
  185. data/src/core/ext/upb-generated/envoy/type/tracing/v3/custom_tag.upb.c +90 -0
  186. data/src/core/ext/upb-generated/envoy/type/tracing/v3/custom_tag.upb.h +250 -0
  187. data/src/core/ext/upb-generated/envoy/type/{http.upb.c → v3/http.upb.c} +2 -2
  188. data/src/core/ext/upb-generated/envoy/type/{http.upb.h → v3/http.upb.h} +8 -9
  189. data/src/core/ext/upb-generated/envoy/type/{percent.upb.c → v3/percent.upb.c} +9 -8
  190. data/src/core/ext/upb-generated/envoy/type/v3/percent.upb.h +86 -0
  191. data/src/core/ext/upb-generated/envoy/type/{range.upb.c → v3/range.upb.c} +12 -11
  192. data/src/core/ext/upb-generated/envoy/type/v3/range.upb.h +111 -0
  193. data/src/core/ext/upb-generated/envoy/type/{semantic_version.upb.c → v3/semantic_version.upb.c} +6 -5
  194. data/src/core/ext/upb-generated/envoy/type/v3/semantic_version.upb.h +61 -0
  195. data/src/core/ext/upb-generated/gogoproto/gogo.upb.h +0 -1
  196. data/src/core/ext/upb-generated/google/api/annotations.upb.h +0 -1
  197. data/src/core/ext/upb-generated/google/api/expr/v1alpha1/syntax.upb.c +234 -0
  198. data/src/core/ext/upb-generated/google/api/expr/v1alpha1/syntax.upb.h +759 -0
  199. data/src/core/ext/upb-generated/google/api/http.upb.h +29 -28
  200. data/src/core/ext/upb-generated/google/protobuf/any.upb.h +5 -6
  201. data/src/core/ext/upb-generated/google/protobuf/descriptor.upb.c +39 -39
  202. data/src/core/ext/upb-generated/google/protobuf/descriptor.upb.h +412 -386
  203. data/src/core/ext/upb-generated/google/protobuf/duration.upb.h +5 -6
  204. data/src/core/ext/upb-generated/google/protobuf/empty.upb.h +1 -2
  205. data/src/core/ext/upb-generated/google/protobuf/struct.upb.c +1 -1
  206. data/src/core/ext/upb-generated/google/protobuf/struct.upb.h +34 -55
  207. data/src/core/ext/upb-generated/google/protobuf/timestamp.upb.h +5 -6
  208. data/src/core/ext/upb-generated/google/protobuf/wrappers.upb.h +27 -28
  209. data/src/core/ext/upb-generated/google/rpc/status.upb.h +8 -8
  210. data/src/core/ext/upb-generated/src/proto/grpc/gcp/altscontext.upb.c +1 -1
  211. data/src/core/ext/upb-generated/src/proto/grpc/gcp/altscontext.upb.h +32 -45
  212. data/src/core/ext/upb-generated/src/proto/grpc/gcp/handshaker.upb.c +4 -4
  213. data/src/core/ext/upb-generated/src/proto/grpc/gcp/handshaker.upb.h +157 -178
  214. data/src/core/ext/upb-generated/src/proto/grpc/gcp/transport_security_common.upb.h +14 -13
  215. data/src/core/ext/upb-generated/src/proto/grpc/health/v1/health.upb.h +6 -7
  216. data/src/core/ext/upb-generated/src/proto/grpc/lb/v1/load_balancer.upb.h +59 -56
  217. data/src/core/ext/upb-generated/udpa/annotations/migrate.upb.h +11 -12
  218. data/src/core/ext/upb-generated/udpa/annotations/sensitive.upb.h +0 -1
  219. data/src/core/ext/upb-generated/udpa/annotations/status.upb.h +5 -6
  220. data/src/core/ext/upb-generated/udpa/annotations/versioning.upb.c +27 -0
  221. data/src/core/ext/upb-generated/udpa/annotations/versioning.upb.h +53 -0
  222. data/src/core/ext/upb-generated/udpa/data/orca/v1/orca_load_report.upb.c +6 -6
  223. data/src/core/ext/upb-generated/udpa/data/orca/v1/orca_load_report.upb.h +41 -68
  224. data/src/core/ext/upb-generated/validate/validate.upb.c +11 -11
  225. data/src/core/ext/upb-generated/validate/validate.upb.h +537 -536
  226. data/src/core/ext/xds/xds_api.cc +2388 -0
  227. data/src/core/ext/{filters/client_channel/xds → xds}/xds_api.h +120 -40
  228. data/src/core/ext/{filters/client_channel/xds → xds}/xds_bootstrap.cc +56 -25
  229. data/src/core/ext/{filters/client_channel/xds → xds}/xds_bootstrap.h +8 -3
  230. data/src/core/ext/{filters/client_channel/xds → xds}/xds_channel.h +4 -4
  231. data/src/core/ext/{filters/client_channel/xds → xds}/xds_channel_args.h +3 -3
  232. data/src/core/ext/{filters/client_channel/xds → xds}/xds_channel_secure.cc +2 -5
  233. data/src/core/ext/{filters/client_channel/xds → xds}/xds_client.cc +94 -347
  234. data/src/core/ext/{filters/client_channel/xds → xds}/xds_client.h +12 -45
  235. data/src/core/ext/{filters/client_channel/xds → xds}/xds_client_stats.cc +2 -2
  236. data/src/core/ext/{filters/client_channel/xds → xds}/xds_client_stats.h +13 -13
  237. data/src/core/lib/channel/channel_trace.cc +2 -6
  238. data/src/core/lib/channel/channelz.cc +19 -30
  239. data/src/core/lib/channel/channelz.h +1 -1
  240. data/src/core/lib/channel/channelz_registry.cc +3 -1
  241. data/src/core/lib/gpr/log_linux.cc +6 -8
  242. data/src/core/lib/gpr/log_posix.cc +6 -8
  243. data/src/core/lib/gpr/string.cc +10 -9
  244. data/src/core/lib/gpr/string.h +4 -2
  245. data/src/core/lib/gpr/sync_posix.cc +2 -8
  246. data/src/core/lib/gprpp/global_config_env.cc +8 -6
  247. data/src/core/lib/http/httpcli.cc +13 -10
  248. data/src/core/lib/http/httpcli_security_connector.cc +5 -5
  249. data/src/core/lib/iomgr/cfstream_handle.cc +1 -0
  250. data/src/core/lib/iomgr/endpoint.cc +5 -1
  251. data/src/core/lib/iomgr/endpoint.h +7 -3
  252. data/src/core/lib/iomgr/endpoint_cfstream.cc +32 -11
  253. data/src/core/lib/iomgr/endpoint_pair_posix.cc +10 -10
  254. data/src/core/lib/iomgr/error_cfstream.cc +9 -8
  255. data/src/core/lib/iomgr/ev_epoll1_linux.cc +5 -6
  256. data/src/core/lib/iomgr/ev_epollex_linux.cc +15 -21
  257. data/src/core/lib/iomgr/ev_poll_posix.cc +6 -5
  258. data/src/core/lib/iomgr/is_epollexclusive_available.cc +14 -0
  259. data/src/core/{ext/filters/client_channel → lib/iomgr}/parse_address.cc +1 -1
  260. data/src/core/{ext/filters/client_channel → lib/iomgr}/parse_address.h +3 -3
  261. data/src/core/lib/iomgr/port.h +1 -21
  262. data/src/core/lib/iomgr/resolve_address_custom.cc +13 -18
  263. data/src/core/lib/iomgr/resolve_address_windows.cc +8 -8
  264. data/src/core/lib/iomgr/resource_quota.cc +34 -31
  265. data/src/core/lib/iomgr/sockaddr_utils.cc +9 -6
  266. data/src/core/lib/iomgr/sockaddr_utils.h +3 -2
  267. data/src/core/lib/iomgr/socket_utils_common_posix.cc +95 -55
  268. data/src/core/lib/iomgr/socket_windows.cc +4 -5
  269. data/src/core/lib/iomgr/tcp_client_cfstream.cc +9 -11
  270. data/src/core/lib/iomgr/tcp_client_custom.cc +6 -9
  271. data/src/core/lib/iomgr/tcp_client_posix.cc +27 -36
  272. data/src/core/lib/iomgr/tcp_client_windows.cc +9 -9
  273. data/src/core/lib/iomgr/tcp_custom.cc +33 -17
  274. data/src/core/lib/iomgr/tcp_custom.h +1 -1
  275. data/src/core/lib/iomgr/tcp_posix.cc +31 -13
  276. data/src/core/lib/iomgr/tcp_server.cc +3 -4
  277. data/src/core/lib/iomgr/tcp_server.h +7 -5
  278. data/src/core/lib/iomgr/tcp_server_custom.cc +6 -14
  279. data/src/core/lib/iomgr/tcp_server_posix.cc +34 -41
  280. data/src/core/lib/iomgr/tcp_server_utils_posix.h +3 -4
  281. data/src/core/lib/iomgr/tcp_server_utils_posix_common.cc +5 -7
  282. data/src/core/lib/iomgr/tcp_server_utils_posix_ifaddrs.cc +4 -9
  283. data/src/core/lib/iomgr/tcp_server_windows.cc +16 -16
  284. data/src/core/lib/iomgr/tcp_windows.cc +26 -10
  285. data/src/core/lib/iomgr/timer_generic.cc +13 -12
  286. data/src/core/lib/iomgr/udp_server.cc +24 -23
  287. data/src/core/lib/iomgr/udp_server.h +5 -2
  288. data/src/core/lib/iomgr/unix_sockets_posix.cc +9 -14
  289. data/src/core/lib/iomgr/unix_sockets_posix.h +3 -1
  290. data/src/core/lib/iomgr/unix_sockets_posix_noop.cc +5 -2
  291. data/src/core/lib/json/json_reader.cc +20 -21
  292. data/src/core/lib/security/authorization/authorization_engine.cc +177 -0
  293. data/src/core/lib/security/authorization/authorization_engine.h +84 -0
  294. data/src/core/lib/security/authorization/evaluate_args.cc +153 -0
  295. data/src/core/lib/security/authorization/evaluate_args.h +59 -0
  296. data/src/core/lib/security/authorization/mock_cel/activation.h +57 -0
  297. data/src/core/lib/security/authorization/mock_cel/cel_expr_builder_factory.h +42 -0
  298. data/src/core/lib/security/authorization/mock_cel/cel_expression.h +68 -0
  299. data/src/core/lib/security/authorization/mock_cel/cel_value.h +93 -0
  300. data/src/core/lib/security/authorization/mock_cel/evaluator_core.h +67 -0
  301. data/src/core/lib/security/authorization/mock_cel/flat_expr_builder.h +56 -0
  302. data/src/core/lib/security/authorization/mock_cel/statusor.h +50 -0
  303. data/src/core/lib/security/credentials/credentials.h +5 -3
  304. data/src/core/lib/security/credentials/google_default/credentials_generic.cc +8 -6
  305. data/src/core/lib/security/credentials/google_default/google_default_credentials.cc +64 -43
  306. data/src/core/lib/security/credentials/jwt/jwt_credentials.cc +7 -4
  307. data/src/core/lib/security/credentials/oauth2/oauth2_credentials.cc +19 -28
  308. data/src/core/lib/security/credentials/plugin/plugin_credentials.cc +6 -6
  309. data/src/core/lib/security/credentials/ssl/ssl_credentials.cc +20 -0
  310. data/src/core/lib/security/credentials/ssl/ssl_credentials.h +10 -0
  311. data/src/core/lib/security/credentials/tls/grpc_tls_credentials_options.h +10 -0
  312. data/src/core/lib/security/security_connector/fake/fake_security_connector.cc +11 -12
  313. data/src/core/lib/security/security_connector/security_connector.cc +2 -0
  314. data/src/core/lib/security/security_connector/security_connector.h +1 -1
  315. data/src/core/lib/security/security_connector/ssl/ssl_security_connector.cc +18 -11
  316. data/src/core/lib/security/security_connector/ssl/ssl_security_connector.h +5 -0
  317. data/src/core/lib/security/security_connector/ssl_utils.cc +44 -23
  318. data/src/core/lib/security/security_connector/ssl_utils.h +6 -2
  319. data/src/core/lib/security/security_connector/tls/tls_security_connector.cc +27 -24
  320. data/src/core/lib/security/transport/client_auth_filter.cc +10 -9
  321. data/src/core/lib/security/transport/secure_endpoint.cc +7 -1
  322. data/src/core/lib/security/util/json_util.cc +12 -13
  323. data/src/core/lib/slice/slice.cc +38 -1
  324. data/src/core/lib/slice/slice_internal.h +1 -0
  325. data/src/core/lib/surface/call.cc +52 -53
  326. data/src/core/lib/surface/call.h +2 -1
  327. data/src/core/lib/surface/channel.cc +28 -20
  328. data/src/core/lib/surface/channel.h +12 -2
  329. data/src/core/lib/surface/completion_queue.cc +0 -5
  330. data/src/core/lib/surface/init.cc +1 -1
  331. data/src/core/lib/surface/server.cc +1102 -1347
  332. data/src/core/lib/surface/server.h +369 -71
  333. data/src/core/lib/surface/version.cc +2 -2
  334. data/src/core/lib/transport/authority_override.cc +38 -0
  335. data/src/core/lib/transport/authority_override.h +32 -0
  336. data/src/core/lib/transport/connectivity_state.cc +18 -13
  337. data/src/core/lib/transport/connectivity_state.h +18 -6
  338. data/src/core/lib/transport/error_utils.cc +13 -0
  339. data/src/core/lib/transport/error_utils.h +6 -0
  340. data/src/core/lib/transport/static_metadata.cc +295 -276
  341. data/src/core/lib/transport/static_metadata.h +80 -73
  342. data/src/core/lib/transport/transport.h +13 -0
  343. data/src/core/lib/uri/uri_parser.cc +30 -35
  344. data/src/core/lib/uri/uri_parser.h +3 -1
  345. data/src/core/plugin_registry/grpc_plugin_registry.cc +4 -0
  346. data/src/core/tsi/alts/handshaker/alts_handshaker_client.cc +23 -13
  347. data/src/core/tsi/alts/handshaker/alts_tsi_handshaker.cc +24 -0
  348. data/src/core/tsi/alts/handshaker/transport_security_common_api.cc +2 -0
  349. data/src/core/tsi/ssl_transport_security.cc +102 -11
  350. data/src/core/tsi/ssl_transport_security.h +14 -2
  351. data/src/core/tsi/transport_security_interface.h +5 -0
  352. data/src/ruby/bin/math_services_pb.rb +4 -4
  353. data/src/ruby/ext/grpc/extconf.rb +5 -2
  354. data/src/ruby/ext/grpc/rb_call.c +3 -2
  355. data/src/ruby/ext/grpc/rb_call.h +4 -0
  356. data/src/ruby/ext/grpc/rb_call_credentials.c +54 -10
  357. data/src/ruby/ext/grpc/rb_channel_credentials.c +9 -0
  358. data/src/ruby/ext/grpc/rb_grpc_imports.generated.c +2 -2
  359. data/src/ruby/ext/grpc/rb_grpc_imports.generated.h +4 -4
  360. data/src/ruby/lib/grpc/generic/client_stub.rb +1 -1
  361. data/src/ruby/lib/grpc/generic/interceptors.rb +1 -1
  362. data/src/ruby/lib/grpc/version.rb +1 -1
  363. data/src/ruby/pb/grpc/health/v1/health_services_pb.rb +2 -2
  364. data/src/ruby/pb/src/proto/grpc/testing/messages_pb.rb +5 -0
  365. data/src/ruby/pb/src/proto/grpc/testing/test_services_pb.rb +28 -12
  366. data/src/ruby/spec/channel_credentials_spec.rb +10 -0
  367. data/src/ruby/spec/generic/active_call_spec.rb +19 -8
  368. data/src/ruby/spec/pb/codegen/grpc/testing/package_options_import2.proto +23 -0
  369. data/src/ruby/spec/pb/codegen/grpc/testing/package_options_ruby_style.proto +2 -0
  370. data/src/ruby/spec/pb/codegen/grpc/testing/same_package_service_name.proto +27 -0
  371. data/src/ruby/spec/pb/codegen/grpc/testing/same_ruby_package_service_name.proto +29 -0
  372. data/src/ruby/spec/pb/codegen/package_option_spec.rb +25 -1
  373. data/src/ruby/spec/user_agent_spec.rb +74 -0
  374. data/third_party/abseil-cpp/absl/algorithm/container.h +1727 -0
  375. data/third_party/abseil-cpp/absl/base/internal/direct_mmap.h +161 -0
  376. data/third_party/abseil-cpp/absl/base/internal/exponential_biased.cc +93 -0
  377. data/third_party/abseil-cpp/absl/base/internal/exponential_biased.h +130 -0
  378. data/third_party/abseil-cpp/absl/base/internal/low_level_alloc.cc +620 -0
  379. data/third_party/abseil-cpp/absl/base/internal/low_level_alloc.h +126 -0
  380. data/third_party/abseil-cpp/absl/container/fixed_array.h +515 -0
  381. data/third_party/abseil-cpp/absl/container/flat_hash_set.h +503 -0
  382. data/third_party/abseil-cpp/absl/container/internal/common.h +202 -0
  383. data/third_party/abseil-cpp/absl/container/internal/container_memory.h +440 -0
  384. data/third_party/abseil-cpp/absl/container/internal/hash_function_defaults.h +146 -0
  385. data/third_party/abseil-cpp/absl/container/internal/hash_policy_traits.h +191 -0
  386. data/third_party/abseil-cpp/absl/container/internal/hashtable_debug_hooks.h +85 -0
  387. data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler.cc +269 -0
  388. data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler.h +297 -0
  389. data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler_force_weak_definition.cc +30 -0
  390. data/third_party/abseil-cpp/absl/container/internal/have_sse.h +49 -0
  391. data/third_party/abseil-cpp/absl/container/internal/layout.h +741 -0
  392. data/third_party/abseil-cpp/absl/container/internal/raw_hash_set.cc +48 -0
  393. data/third_party/abseil-cpp/absl/container/internal/raw_hash_set.h +1882 -0
  394. data/third_party/abseil-cpp/absl/debugging/internal/address_is_readable.cc +138 -0
  395. data/third_party/abseil-cpp/absl/debugging/internal/address_is_readable.h +32 -0
  396. data/third_party/abseil-cpp/absl/debugging/internal/demangle.cc +1895 -0
  397. data/third_party/abseil-cpp/absl/debugging/internal/demangle.h +71 -0
  398. data/third_party/abseil-cpp/absl/debugging/internal/elf_mem_image.cc +382 -0
  399. data/third_party/abseil-cpp/absl/debugging/internal/elf_mem_image.h +134 -0
  400. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_aarch64-inl.inc +192 -0
  401. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_arm-inl.inc +125 -0
  402. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_config.h +70 -0
  403. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_generic-inl.inc +99 -0
  404. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_powerpc-inl.inc +248 -0
  405. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_unimplemented-inl.inc +24 -0
  406. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_win32-inl.inc +85 -0
  407. data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_x86-inl.inc +346 -0
  408. data/third_party/abseil-cpp/absl/debugging/internal/symbolize.h +128 -0
  409. data/third_party/abseil-cpp/absl/debugging/internal/vdso_support.cc +194 -0
  410. data/third_party/abseil-cpp/absl/debugging/internal/vdso_support.h +158 -0
  411. data/third_party/abseil-cpp/absl/debugging/stacktrace.cc +140 -0
  412. data/third_party/abseil-cpp/absl/debugging/stacktrace.h +231 -0
  413. data/third_party/abseil-cpp/absl/debugging/symbolize.cc +25 -0
  414. data/third_party/abseil-cpp/absl/debugging/symbolize.h +99 -0
  415. data/third_party/abseil-cpp/absl/debugging/symbolize_elf.inc +1480 -0
  416. data/third_party/abseil-cpp/absl/debugging/symbolize_unimplemented.inc +40 -0
  417. data/third_party/abseil-cpp/absl/debugging/symbolize_win32.inc +81 -0
  418. data/third_party/abseil-cpp/absl/functional/function_ref.h +139 -0
  419. data/third_party/abseil-cpp/absl/functional/internal/function_ref.h +106 -0
  420. data/third_party/abseil-cpp/absl/hash/hash.h +324 -0
  421. data/third_party/abseil-cpp/absl/hash/internal/city.cc +346 -0
  422. data/third_party/abseil-cpp/absl/hash/internal/city.h +96 -0
  423. data/third_party/abseil-cpp/absl/hash/internal/hash.cc +55 -0
  424. data/third_party/abseil-cpp/absl/hash/internal/hash.h +988 -0
  425. data/third_party/abseil-cpp/absl/status/status.cc +447 -0
  426. data/third_party/abseil-cpp/absl/status/status.h +428 -0
  427. data/third_party/abseil-cpp/absl/status/status_payload_printer.cc +43 -0
  428. data/third_party/abseil-cpp/absl/status/status_payload_printer.h +51 -0
  429. data/third_party/abseil-cpp/absl/strings/cord.cc +2019 -0
  430. data/third_party/abseil-cpp/absl/strings/cord.h +1121 -0
  431. data/third_party/abseil-cpp/absl/strings/internal/cord_internal.h +151 -0
  432. data/third_party/abseil-cpp/absl/synchronization/barrier.cc +52 -0
  433. data/third_party/abseil-cpp/absl/synchronization/barrier.h +79 -0
  434. data/third_party/abseil-cpp/absl/synchronization/blocking_counter.cc +57 -0
  435. data/third_party/abseil-cpp/absl/synchronization/blocking_counter.h +99 -0
  436. data/third_party/abseil-cpp/absl/synchronization/internal/create_thread_identity.cc +140 -0
  437. data/third_party/abseil-cpp/absl/synchronization/internal/create_thread_identity.h +60 -0
  438. data/third_party/abseil-cpp/absl/synchronization/internal/graphcycles.cc +697 -0
  439. data/third_party/abseil-cpp/absl/synchronization/internal/graphcycles.h +141 -0
  440. data/third_party/abseil-cpp/absl/synchronization/internal/kernel_timeout.h +155 -0
  441. data/third_party/abseil-cpp/absl/synchronization/internal/mutex_nonprod.inc +261 -0
  442. data/third_party/abseil-cpp/absl/synchronization/internal/per_thread_sem.cc +106 -0
  443. data/third_party/abseil-cpp/absl/synchronization/internal/per_thread_sem.h +115 -0
  444. data/third_party/abseil-cpp/absl/synchronization/internal/waiter.cc +484 -0
  445. data/third_party/abseil-cpp/absl/synchronization/internal/waiter.h +159 -0
  446. data/third_party/abseil-cpp/absl/synchronization/mutex.cc +2728 -0
  447. data/third_party/abseil-cpp/absl/synchronization/mutex.h +1056 -0
  448. data/third_party/abseil-cpp/absl/synchronization/notification.cc +78 -0
  449. data/third_party/abseil-cpp/absl/synchronization/notification.h +123 -0
  450. data/third_party/abseil-cpp/absl/types/bad_variant_access.cc +64 -0
  451. data/third_party/abseil-cpp/absl/types/bad_variant_access.h +82 -0
  452. data/third_party/abseil-cpp/absl/types/internal/variant.h +1646 -0
  453. data/third_party/abseil-cpp/absl/types/variant.h +861 -0
  454. data/third_party/boringssl-with-bazel/err_data.c +266 -254
  455. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_bitstr.c +3 -3
  456. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_enum.c +3 -3
  457. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_int.c +1 -1
  458. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_object.c +3 -3
  459. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_time.c +2 -2
  460. data/third_party/boringssl-with-bazel/src/crypto/asn1/a_type.c +1 -1
  461. data/third_party/boringssl-with-bazel/src/crypto/asn1/asn1_lib.c +1 -1
  462. data/third_party/boringssl-with-bazel/src/crypto/asn1/asn_pack.c +1 -1
  463. data/third_party/boringssl-with-bazel/src/crypto/asn1/f_enum.c +1 -1
  464. data/third_party/boringssl-with-bazel/src/crypto/asn1/f_int.c +1 -1
  465. data/third_party/boringssl-with-bazel/src/crypto/asn1/f_string.c +1 -1
  466. data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/tls_cbc.c +1 -0
  467. data/third_party/boringssl-with-bazel/src/crypto/ec_extra/hash_to_curve.c +12 -52
  468. data/third_party/boringssl-with-bazel/src/crypto/ec_extra/internal.h +0 -22
  469. data/third_party/boringssl-with-bazel/src/crypto/evp/evp_asn1.c +159 -0
  470. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/mode_wrappers.c +17 -1
  471. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/internal.h +11 -1
  472. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/internal.h +2 -1
  473. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/p224-64.c +13 -11
  474. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/p256-x86_64.c +24 -23
  475. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/p256.c +20 -16
  476. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/simple_mul.c +2 -2
  477. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/util.c +3 -3
  478. data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/self_check/self_check.c +62 -0
  479. data/third_party/boringssl-with-bazel/src/crypto/hpke/hpke.c +456 -0
  480. data/third_party/boringssl-with-bazel/src/crypto/hpke/internal.h +192 -0
  481. data/third_party/boringssl-with-bazel/src/crypto/mem.c +29 -15
  482. data/third_party/boringssl-with-bazel/src/crypto/pkcs8/internal.h +7 -0
  483. data/third_party/boringssl-with-bazel/src/crypto/pkcs8/pkcs8_x509.c +36 -5
  484. data/third_party/boringssl-with-bazel/src/crypto/trust_token/internal.h +0 -29
  485. data/third_party/boringssl-with-bazel/src/crypto/trust_token/pmbtoken.c +116 -363
  486. data/third_party/boringssl-with-bazel/src/crypto/trust_token/trust_token.c +7 -45
  487. data/third_party/boringssl-with-bazel/src/crypto/x509/a_strex.c +4 -4
  488. data/third_party/boringssl-with-bazel/src/crypto/x509/algorithm.c +8 -0
  489. data/third_party/boringssl-with-bazel/src/crypto/x509/asn1_gen.c +4 -4
  490. data/third_party/boringssl-with-bazel/src/crypto/x509/x509.c +0 -67
  491. data/third_party/boringssl-with-bazel/src/crypto/x509/x509_cmp.c +13 -6
  492. data/third_party/boringssl-with-bazel/src/crypto/x509/x509_req.c +10 -0
  493. data/third_party/boringssl-with-bazel/src/crypto/x509/x509_set.c +41 -0
  494. data/third_party/boringssl-with-bazel/src/crypto/x509/x509_trs.c +4 -1
  495. data/third_party/boringssl-with-bazel/src/crypto/x509/x509_vfy.c +28 -9
  496. data/third_party/boringssl-with-bazel/src/crypto/x509/x509cset.c +25 -0
  497. data/third_party/boringssl-with-bazel/src/crypto/x509/x_crl.c +35 -13
  498. data/third_party/boringssl-with-bazel/src/crypto/x509/x_pubkey.c +0 -154
  499. data/third_party/boringssl-with-bazel/src/crypto/x509/x_sig.c +20 -0
  500. data/third_party/boringssl-with-bazel/src/crypto/x509/x_x509.c +28 -6
  501. data/third_party/boringssl-with-bazel/src/crypto/x509v3/internal.h +5 -0
  502. data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_purp.c +74 -35
  503. data/third_party/boringssl-with-bazel/src/include/openssl/aes.h +16 -4
  504. data/third_party/boringssl-with-bazel/src/include/openssl/arm_arch.h +52 -0
  505. data/third_party/boringssl-with-bazel/src/include/openssl/asn1.h +22 -22
  506. data/third_party/boringssl-with-bazel/src/include/openssl/base.h +2 -2
  507. data/third_party/boringssl-with-bazel/src/include/openssl/evp.h +69 -0
  508. data/third_party/boringssl-with-bazel/src/include/openssl/ssl.h +72 -23
  509. data/third_party/boringssl-with-bazel/src/include/openssl/tls1.h +2 -3
  510. data/third_party/boringssl-with-bazel/src/include/openssl/trust_token.h +1 -10
  511. data/third_party/boringssl-with-bazel/src/include/openssl/x509.h +800 -715
  512. data/third_party/boringssl-with-bazel/src/ssl/handoff.cc +3 -3
  513. data/third_party/boringssl-with-bazel/src/ssl/handshake.cc +9 -2
  514. data/third_party/boringssl-with-bazel/src/ssl/handshake_client.cc +2 -2
  515. data/third_party/boringssl-with-bazel/src/ssl/handshake_server.cc +9 -0
  516. data/third_party/boringssl-with-bazel/src/ssl/internal.h +21 -14
  517. data/third_party/boringssl-with-bazel/src/ssl/ssl_asn1.cc +7 -7
  518. data/third_party/boringssl-with-bazel/src/ssl/ssl_cert.cc +3 -6
  519. data/third_party/boringssl-with-bazel/src/ssl/ssl_lib.cc +38 -0
  520. data/third_party/boringssl-with-bazel/src/ssl/ssl_session.cc +4 -24
  521. data/third_party/boringssl-with-bazel/src/ssl/ssl_versions.cc +5 -5
  522. data/third_party/boringssl-with-bazel/src/ssl/t1_enc.cc +45 -24
  523. data/third_party/boringssl-with-bazel/src/ssl/t1_lib.cc +34 -9
  524. data/third_party/boringssl-with-bazel/src/ssl/tls13_client.cc +31 -21
  525. data/third_party/boringssl-with-bazel/src/ssl/tls13_server.cc +17 -9
  526. data/third_party/boringssl-with-bazel/src/ssl/tls_record.cc +5 -3
  527. data/third_party/re2/re2/bitmap256.h +117 -0
  528. data/third_party/re2/re2/bitstate.cc +385 -0
  529. data/third_party/re2/re2/compile.cc +1279 -0
  530. data/third_party/re2/re2/dfa.cc +2130 -0
  531. data/third_party/re2/re2/filtered_re2.cc +121 -0
  532. data/third_party/re2/re2/filtered_re2.h +109 -0
  533. data/third_party/re2/re2/mimics_pcre.cc +197 -0
  534. data/third_party/re2/re2/nfa.cc +713 -0
  535. data/third_party/re2/re2/onepass.cc +623 -0
  536. data/third_party/re2/re2/parse.cc +2464 -0
  537. data/third_party/re2/re2/perl_groups.cc +119 -0
  538. data/third_party/re2/re2/pod_array.h +55 -0
  539. data/third_party/re2/re2/prefilter.cc +710 -0
  540. data/third_party/re2/re2/prefilter.h +108 -0
  541. data/third_party/re2/re2/prefilter_tree.cc +407 -0
  542. data/third_party/re2/re2/prefilter_tree.h +139 -0
  543. data/third_party/re2/re2/prog.cc +988 -0
  544. data/third_party/re2/re2/prog.h +436 -0
  545. data/third_party/re2/re2/re2.cc +1362 -0
  546. data/third_party/re2/re2/re2.h +1002 -0
  547. data/third_party/re2/re2/regexp.cc +980 -0
  548. data/third_party/re2/re2/regexp.h +659 -0
  549. data/third_party/re2/re2/set.cc +154 -0
  550. data/third_party/re2/re2/set.h +80 -0
  551. data/third_party/re2/re2/simplify.cc +657 -0
  552. data/third_party/re2/re2/sparse_array.h +392 -0
  553. data/third_party/re2/re2/sparse_set.h +264 -0
  554. data/third_party/re2/re2/stringpiece.cc +65 -0
  555. data/third_party/re2/re2/stringpiece.h +210 -0
  556. data/third_party/re2/re2/tostring.cc +351 -0
  557. data/third_party/re2/re2/unicode_casefold.cc +582 -0
  558. data/third_party/re2/re2/unicode_casefold.h +78 -0
  559. data/third_party/re2/re2/unicode_groups.cc +6269 -0
  560. data/third_party/re2/re2/unicode_groups.h +67 -0
  561. data/third_party/re2/re2/walker-inl.h +246 -0
  562. data/third_party/re2/util/benchmark.h +156 -0
  563. data/third_party/re2/util/flags.h +26 -0
  564. data/third_party/re2/util/logging.h +109 -0
  565. data/third_party/re2/util/malloc_counter.h +19 -0
  566. data/third_party/re2/util/mix.h +41 -0
  567. data/third_party/re2/util/mutex.h +148 -0
  568. data/third_party/re2/util/pcre.cc +1025 -0
  569. data/third_party/re2/util/pcre.h +681 -0
  570. data/third_party/re2/util/rune.cc +260 -0
  571. data/third_party/re2/util/strutil.cc +149 -0
  572. data/third_party/re2/util/strutil.h +21 -0
  573. data/third_party/re2/util/test.h +50 -0
  574. data/third_party/re2/util/utf.h +44 -0
  575. data/third_party/re2/util/util.h +42 -0
  576. data/third_party/upb/upb/decode.c +517 -505
  577. data/third_party/upb/upb/encode.c +165 -123
  578. data/third_party/upb/upb/msg.c +130 -64
  579. data/third_party/upb/upb/msg.h +418 -14
  580. data/third_party/upb/upb/port_def.inc +35 -6
  581. data/third_party/upb/upb/port_undef.inc +8 -1
  582. data/third_party/upb/upb/table.c +53 -86
  583. data/third_party/upb/upb/table.int.h +11 -52
  584. data/third_party/upb/upb/upb.c +151 -125
  585. data/third_party/upb/upb/upb.h +91 -147
  586. data/third_party/upb/upb/upb.hpp +88 -0
  587. metadata +310 -148
  588. data/src/core/ext/filters/client_channel/xds/xds_api.cc +0 -1906
  589. data/src/core/ext/upb-generated/envoy/api/v2/auth/cert.upb.c +0 -21
  590. data/src/core/ext/upb-generated/envoy/api/v2/auth/cert.upb.h +0 -35
  591. data/src/core/ext/upb-generated/envoy/api/v2/auth/common.upb.c +0 -114
  592. data/src/core/ext/upb-generated/envoy/api/v2/auth/common.upb.h +0 -418
  593. data/src/core/ext/upb-generated/envoy/api/v2/auth/secret.upb.c +0 -72
  594. data/src/core/ext/upb-generated/envoy/api/v2/auth/secret.upb.h +0 -197
  595. data/src/core/ext/upb-generated/envoy/api/v2/auth/tls.upb.c +0 -105
  596. data/src/core/ext/upb-generated/envoy/api/v2/auth/tls.upb.h +0 -378
  597. data/src/core/ext/upb-generated/envoy/api/v2/cds.upb.h +0 -53
  598. data/src/core/ext/upb-generated/envoy/api/v2/cluster.upb.c +0 -403
  599. data/src/core/ext/upb-generated/envoy/api/v2/cluster.upb.h +0 -1447
  600. data/src/core/ext/upb-generated/envoy/api/v2/cluster/circuit_breaker.upb.c +0 -74
  601. data/src/core/ext/upb-generated/envoy/api/v2/cluster/circuit_breaker.upb.h +0 -218
  602. data/src/core/ext/upb-generated/envoy/api/v2/cluster/filter.upb.h +0 -69
  603. data/src/core/ext/upb-generated/envoy/api/v2/cluster/outlier_detection.upb.h +0 -305
  604. data/src/core/ext/upb-generated/envoy/api/v2/core/address.upb.c +0 -112
  605. data/src/core/ext/upb-generated/envoy/api/v2/core/address.upb.h +0 -328
  606. data/src/core/ext/upb-generated/envoy/api/v2/core/backoff.upb.h +0 -78
  607. data/src/core/ext/upb-generated/envoy/api/v2/core/base.upb.c +0 -313
  608. data/src/core/ext/upb-generated/envoy/api/v2/core/base.upb.h +0 -897
  609. data/src/core/ext/upb-generated/envoy/api/v2/core/config_source.upb.c +0 -96
  610. data/src/core/ext/upb-generated/envoy/api/v2/core/config_source.upb.h +0 -322
  611. data/src/core/ext/upb-generated/envoy/api/v2/core/event_service_config.upb.c +0 -34
  612. data/src/core/ext/upb-generated/envoy/api/v2/core/event_service_config.upb.h +0 -72
  613. data/src/core/ext/upb-generated/envoy/api/v2/core/grpc_service.upb.c +0 -197
  614. data/src/core/ext/upb-generated/envoy/api/v2/core/grpc_service.upb.h +0 -642
  615. data/src/core/ext/upb-generated/envoy/api/v2/core/health_check.upb.c +0 -172
  616. data/src/core/ext/upb-generated/envoy/api/v2/core/health_check.upb.h +0 -673
  617. data/src/core/ext/upb-generated/envoy/api/v2/core/http_uri.upb.h +0 -80
  618. data/src/core/ext/upb-generated/envoy/api/v2/core/protocol.upb.c +0 -152
  619. data/src/core/ext/upb-generated/envoy/api/v2/core/protocol.upb.h +0 -518
  620. data/src/core/ext/upb-generated/envoy/api/v2/core/socket_option.upb.h +0 -89
  621. data/src/core/ext/upb-generated/envoy/api/v2/discovery.upb.c +0 -129
  622. data/src/core/ext/upb-generated/envoy/api/v2/discovery.upb.h +0 -392
  623. data/src/core/ext/upb-generated/envoy/api/v2/eds.upb.h +0 -53
  624. data/src/core/ext/upb-generated/envoy/api/v2/endpoint.upb.c +0 -92
  625. data/src/core/ext/upb-generated/envoy/api/v2/endpoint.upb.h +0 -240
  626. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint.upb.c +0 -18
  627. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint.upb.h +0 -33
  628. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint_components.upb.c +0 -91
  629. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint_components.upb.h +0 -266
  630. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/load_report.upb.c +0 -112
  631. data/src/core/ext/upb-generated/envoy/api/v2/endpoint/load_report.upb.h +0 -324
  632. data/src/core/ext/upb-generated/envoy/api/v2/lds.upb.h +0 -53
  633. data/src/core/ext/upb-generated/envoy/api/v2/listener.upb.c +0 -109
  634. data/src/core/ext/upb-generated/envoy/api/v2/listener.upb.h +0 -399
  635. data/src/core/ext/upb-generated/envoy/api/v2/listener/listener.upb.c +0 -18
  636. data/src/core/ext/upb-generated/envoy/api/v2/listener/listener.upb.h +0 -33
  637. data/src/core/ext/upb-generated/envoy/api/v2/listener/listener_components.upb.c +0 -145
  638. data/src/core/ext/upb-generated/envoy/api/v2/listener/listener_components.upb.h +0 -527
  639. data/src/core/ext/upb-generated/envoy/api/v2/listener/udp_listener_config.upb.c +0 -43
  640. data/src/core/ext/upb-generated/envoy/api/v2/listener/udp_listener_config.upb.h +0 -112
  641. data/src/core/ext/upb-generated/envoy/api/v2/rds.upb.h +0 -53
  642. data/src/core/ext/upb-generated/envoy/api/v2/route.upb.c +0 -63
  643. data/src/core/ext/upb-generated/envoy/api/v2/route.upb.h +0 -199
  644. data/src/core/ext/upb-generated/envoy/api/v2/route/route.upb.c +0 -18
  645. data/src/core/ext/upb-generated/envoy/api/v2/route/route.upb.h +0 -33
  646. data/src/core/ext/upb-generated/envoy/api/v2/route/route_components.upb.c +0 -815
  647. data/src/core/ext/upb-generated/envoy/api/v2/route/route_components.upb.h +0 -3032
  648. data/src/core/ext/upb-generated/envoy/api/v2/scoped_route.upb.c +0 -59
  649. data/src/core/ext/upb-generated/envoy/api/v2/scoped_route.upb.h +0 -134
  650. data/src/core/ext/upb-generated/envoy/api/v2/srds.upb.h +0 -53
  651. data/src/core/ext/upb-generated/envoy/config/filter/accesslog/v2/accesslog.upb.c +0 -228
  652. data/src/core/ext/upb-generated/envoy/config/filter/accesslog/v2/accesslog.upb.h +0 -725
  653. data/src/core/ext/upb-generated/envoy/config/filter/network/http_connection_manager/v2/http_connection_manager.upb.c +0 -316
  654. data/src/core/ext/upb-generated/envoy/config/filter/network/http_connection_manager/v2/http_connection_manager.upb.h +0 -1132
  655. data/src/core/ext/upb-generated/envoy/config/listener/v2/api_listener.upb.h +0 -65
  656. data/src/core/ext/upb-generated/envoy/config/trace/v2/http_tracer.upb.c +0 -51
  657. data/src/core/ext/upb-generated/envoy/config/trace/v2/http_tracer.upb.h +0 -125
  658. data/src/core/ext/upb-generated/envoy/service/discovery/v2/ads.upb.h +0 -50
  659. data/src/core/ext/upb-generated/envoy/service/load_stats/v2/lrs.upb.c +0 -54
  660. data/src/core/ext/upb-generated/envoy/service/load_stats/v2/lrs.upb.h +0 -134
  661. data/src/core/ext/upb-generated/envoy/type/matcher/regex.upb.c +0 -63
  662. data/src/core/ext/upb-generated/envoy/type/matcher/regex.upb.h +0 -144
  663. data/src/core/ext/upb-generated/envoy/type/matcher/string.upb.c +0 -53
  664. data/src/core/ext/upb-generated/envoy/type/matcher/string.upb.h +0 -133
  665. data/src/core/ext/upb-generated/envoy/type/metadata/v2/metadata.upb.c +0 -88
  666. data/src/core/ext/upb-generated/envoy/type/metadata/v2/metadata.upb.h +0 -258
  667. data/src/core/ext/upb-generated/envoy/type/percent.upb.h +0 -87
  668. data/src/core/ext/upb-generated/envoy/type/range.upb.h +0 -112
  669. data/src/core/ext/upb-generated/envoy/type/semantic_version.upb.h +0 -62
  670. data/src/core/ext/upb-generated/envoy/type/tracing/v2/custom_tag.upb.c +0 -89
  671. data/src/core/ext/upb-generated/envoy/type/tracing/v2/custom_tag.upb.h +0 -249
  672. data/src/core/lib/security/transport/target_authority_table.cc +0 -75
  673. data/src/core/lib/security/transport/target_authority_table.h +0 -40
  674. data/src/core/lib/slice/slice_hash_table.h +0 -199
  675. data/src/core/lib/slice/slice_weak_hash_table.h +0 -102
  676. data/third_party/upb/upb/generated_util.h +0 -105
@@ -0,0 +1,138 @@
1
+ // Copyright 2017 The Abseil Authors.
2
+ //
3
+ // Licensed under the Apache License, Version 2.0 (the "License");
4
+ // you may not use this file except in compliance with the License.
5
+ // You may obtain a copy of the License at
6
+ //
7
+ // https://www.apache.org/licenses/LICENSE-2.0
8
+ //
9
+ // Unless required by applicable law or agreed to in writing, software
10
+ // distributed under the License is distributed on an "AS IS" BASIS,
11
+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12
+ // See the License for the specific language governing permissions and
13
+ // limitations under the License.
14
+
15
+ // base::AddressIsReadable() probes an address to see whether it is readable,
16
+ // without faulting.
17
+
18
+ #include "absl/debugging/internal/address_is_readable.h"
19
+
20
+ #if !defined(__linux__) || defined(__ANDROID__)
21
+
22
+ namespace absl {
23
+ ABSL_NAMESPACE_BEGIN
24
+ namespace debugging_internal {
25
+
26
+ // On platforms other than Linux, just return true.
27
+ bool AddressIsReadable(const void* /* addr */) { return true; }
28
+
29
+ } // namespace debugging_internal
30
+ ABSL_NAMESPACE_END
31
+ } // namespace absl
32
+
33
+ #else
34
+
35
+ #include <fcntl.h>
36
+ #include <sys/syscall.h>
37
+ #include <unistd.h>
38
+
39
+ #include <atomic>
40
+ #include <cerrno>
41
+ #include <cstdint>
42
+
43
+ #include "absl/base/internal/errno_saver.h"
44
+ #include "absl/base/internal/raw_logging.h"
45
+
46
+ namespace absl {
47
+ ABSL_NAMESPACE_BEGIN
48
+ namespace debugging_internal {
49
+
50
+ // Pack a pid and two file descriptors into a 64-bit word,
51
+ // using 16, 24, and 24 bits for each respectively.
52
+ static uint64_t Pack(uint64_t pid, uint64_t read_fd, uint64_t write_fd) {
53
+ ABSL_RAW_CHECK((read_fd >> 24) == 0 && (write_fd >> 24) == 0,
54
+ "fd out of range");
55
+ return (pid << 48) | ((read_fd & 0xffffff) << 24) | (write_fd & 0xffffff);
56
+ }
57
+
58
+ // Unpack x into a pid and two file descriptors, where x was created with
59
+ // Pack().
60
+ static void Unpack(uint64_t x, int *pid, int *read_fd, int *write_fd) {
61
+ *pid = x >> 48;
62
+ *read_fd = (x >> 24) & 0xffffff;
63
+ *write_fd = x & 0xffffff;
64
+ }
65
+
66
+ // Return whether the byte at *addr is readable, without faulting.
67
+ // Save and restores errno. Returns true on systems where
68
+ // unimplemented.
69
+ // This is a namespace-scoped variable for correct zero-initialization.
70
+ static std::atomic<uint64_t> pid_and_fds; // initially 0, an invalid pid.
71
+ bool AddressIsReadable(const void *addr) {
72
+ absl::base_internal::ErrnoSaver errno_saver;
73
+ // We test whether a byte is readable by using write(). Normally, this would
74
+ // be done via a cached file descriptor to /dev/null, but linux fails to
75
+ // check whether the byte is readable when the destination is /dev/null, so
76
+ // we use a cached pipe. We store the pid of the process that created the
77
+ // pipe to handle the case where a process forks, and the child closes all
78
+ // the file descriptors and then calls this routine. This is not perfect:
79
+ // the child could use the routine, then close all file descriptors and then
80
+ // use this routine again. But the likely use of this routine is when
81
+ // crashing, to test the validity of pages when dumping the stack. Beware
82
+ // that we may leak file descriptors, but we're unlikely to leak many.
83
+ int bytes_written;
84
+ int current_pid = getpid() & 0xffff; // we use only the low order 16 bits
85
+ do { // until we do not get EBADF trying to use file descriptors
86
+ int pid;
87
+ int read_fd;
88
+ int write_fd;
89
+ uint64_t local_pid_and_fds = pid_and_fds.load(std::memory_order_relaxed);
90
+ Unpack(local_pid_and_fds, &pid, &read_fd, &write_fd);
91
+ while (current_pid != pid) {
92
+ int p[2];
93
+ // new pipe
94
+ if (pipe(p) != 0) {
95
+ ABSL_RAW_LOG(FATAL, "Failed to create pipe, errno=%d", errno);
96
+ }
97
+ fcntl(p[0], F_SETFD, FD_CLOEXEC);
98
+ fcntl(p[1], F_SETFD, FD_CLOEXEC);
99
+ uint64_t new_pid_and_fds = Pack(current_pid, p[0], p[1]);
100
+ if (pid_and_fds.compare_exchange_strong(
101
+ local_pid_and_fds, new_pid_and_fds, std::memory_order_relaxed,
102
+ std::memory_order_relaxed)) {
103
+ local_pid_and_fds = new_pid_and_fds; // fds exposed to other threads
104
+ } else { // fds not exposed to other threads; we can close them.
105
+ close(p[0]);
106
+ close(p[1]);
107
+ local_pid_and_fds = pid_and_fds.load(std::memory_order_relaxed);
108
+ }
109
+ Unpack(local_pid_and_fds, &pid, &read_fd, &write_fd);
110
+ }
111
+ errno = 0;
112
+ // Use syscall(SYS_write, ...) instead of write() to prevent ASAN
113
+ // and other checkers from complaining about accesses to arbitrary
114
+ // memory.
115
+ do {
116
+ bytes_written = syscall(SYS_write, write_fd, addr, 1);
117
+ } while (bytes_written == -1 && errno == EINTR);
118
+ if (bytes_written == 1) { // remove the byte from the pipe
119
+ char c;
120
+ while (read(read_fd, &c, 1) == -1 && errno == EINTR) {
121
+ }
122
+ }
123
+ if (errno == EBADF) { // Descriptors invalid.
124
+ // If pid_and_fds contains the problematic file descriptors we just used,
125
+ // this call will forget them, and the loop will try again.
126
+ pid_and_fds.compare_exchange_strong(local_pid_and_fds, 0,
127
+ std::memory_order_relaxed,
128
+ std::memory_order_relaxed);
129
+ }
130
+ } while (errno == EBADF);
131
+ return bytes_written == 1;
132
+ }
133
+
134
+ } // namespace debugging_internal
135
+ ABSL_NAMESPACE_END
136
+ } // namespace absl
137
+
138
+ #endif
@@ -0,0 +1,32 @@
1
+ // Copyright 2017 The Abseil Authors.
2
+ //
3
+ // Licensed under the Apache License, Version 2.0 (the "License");
4
+ // you may not use this file except in compliance with the License.
5
+ // You may obtain a copy of the License at
6
+ //
7
+ // https://www.apache.org/licenses/LICENSE-2.0
8
+ //
9
+ // Unless required by applicable law or agreed to in writing, software
10
+ // distributed under the License is distributed on an "AS IS" BASIS,
11
+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12
+ // See the License for the specific language governing permissions and
13
+ // limitations under the License.
14
+
15
+ #ifndef ABSL_DEBUGGING_INTERNAL_ADDRESS_IS_READABLE_H_
16
+ #define ABSL_DEBUGGING_INTERNAL_ADDRESS_IS_READABLE_H_
17
+
18
+ #include "absl/base/config.h"
19
+
20
+ namespace absl {
21
+ ABSL_NAMESPACE_BEGIN
22
+ namespace debugging_internal {
23
+
24
+ // Return whether the byte at *addr is readable, without faulting.
25
+ // Save and restores errno.
26
+ bool AddressIsReadable(const void *addr);
27
+
28
+ } // namespace debugging_internal
29
+ ABSL_NAMESPACE_END
30
+ } // namespace absl
31
+
32
+ #endif // ABSL_DEBUGGING_INTERNAL_ADDRESS_IS_READABLE_H_
@@ -0,0 +1,1895 @@
1
+ // Copyright 2018 The Abseil Authors.
2
+ //
3
+ // Licensed under the Apache License, Version 2.0 (the "License");
4
+ // you may not use this file except in compliance with the License.
5
+ // You may obtain a copy of the License at
6
+ //
7
+ // https://www.apache.org/licenses/LICENSE-2.0
8
+ //
9
+ // Unless required by applicable law or agreed to in writing, software
10
+ // distributed under the License is distributed on an "AS IS" BASIS,
11
+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12
+ // See the License for the specific language governing permissions and
13
+ // limitations under the License.
14
+
15
+ // For reference check out:
16
+ // https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling
17
+ //
18
+ // Note that we only have partial C++11 support yet.
19
+
20
+ #include "absl/debugging/internal/demangle.h"
21
+
22
+ #include <cstdint>
23
+ #include <cstdio>
24
+ #include <limits>
25
+
26
+ namespace absl {
27
+ ABSL_NAMESPACE_BEGIN
28
+ namespace debugging_internal {
29
+
30
+ typedef struct {
31
+ const char *abbrev;
32
+ const char *real_name;
33
+ // Number of arguments in <expression> context, or 0 if disallowed.
34
+ int arity;
35
+ } AbbrevPair;
36
+
37
+ // List of operators from Itanium C++ ABI.
38
+ static const AbbrevPair kOperatorList[] = {
39
+ // New has special syntax (not currently supported).
40
+ {"nw", "new", 0},
41
+ {"na", "new[]", 0},
42
+
43
+ // Works except that the 'gs' prefix is not supported.
44
+ {"dl", "delete", 1},
45
+ {"da", "delete[]", 1},
46
+
47
+ {"ps", "+", 1}, // "positive"
48
+ {"ng", "-", 1}, // "negative"
49
+ {"ad", "&", 1}, // "address-of"
50
+ {"de", "*", 1}, // "dereference"
51
+ {"co", "~", 1},
52
+
53
+ {"pl", "+", 2},
54
+ {"mi", "-", 2},
55
+ {"ml", "*", 2},
56
+ {"dv", "/", 2},
57
+ {"rm", "%", 2},
58
+ {"an", "&", 2},
59
+ {"or", "|", 2},
60
+ {"eo", "^", 2},
61
+ {"aS", "=", 2},
62
+ {"pL", "+=", 2},
63
+ {"mI", "-=", 2},
64
+ {"mL", "*=", 2},
65
+ {"dV", "/=", 2},
66
+ {"rM", "%=", 2},
67
+ {"aN", "&=", 2},
68
+ {"oR", "|=", 2},
69
+ {"eO", "^=", 2},
70
+ {"ls", "<<", 2},
71
+ {"rs", ">>", 2},
72
+ {"lS", "<<=", 2},
73
+ {"rS", ">>=", 2},
74
+ {"eq", "==", 2},
75
+ {"ne", "!=", 2},
76
+ {"lt", "<", 2},
77
+ {"gt", ">", 2},
78
+ {"le", "<=", 2},
79
+ {"ge", ">=", 2},
80
+ {"nt", "!", 1},
81
+ {"aa", "&&", 2},
82
+ {"oo", "||", 2},
83
+ {"pp", "++", 1},
84
+ {"mm", "--", 1},
85
+ {"cm", ",", 2},
86
+ {"pm", "->*", 2},
87
+ {"pt", "->", 0}, // Special syntax
88
+ {"cl", "()", 0}, // Special syntax
89
+ {"ix", "[]", 2},
90
+ {"qu", "?", 3},
91
+ {"st", "sizeof", 0}, // Special syntax
92
+ {"sz", "sizeof", 1}, // Not a real operator name, but used in expressions.
93
+ {nullptr, nullptr, 0},
94
+ };
95
+
96
+ // List of builtin types from Itanium C++ ABI.
97
+ //
98
+ // Invariant: only one- or two-character type abbreviations here.
99
+ static const AbbrevPair kBuiltinTypeList[] = {
100
+ {"v", "void", 0},
101
+ {"w", "wchar_t", 0},
102
+ {"b", "bool", 0},
103
+ {"c", "char", 0},
104
+ {"a", "signed char", 0},
105
+ {"h", "unsigned char", 0},
106
+ {"s", "short", 0},
107
+ {"t", "unsigned short", 0},
108
+ {"i", "int", 0},
109
+ {"j", "unsigned int", 0},
110
+ {"l", "long", 0},
111
+ {"m", "unsigned long", 0},
112
+ {"x", "long long", 0},
113
+ {"y", "unsigned long long", 0},
114
+ {"n", "__int128", 0},
115
+ {"o", "unsigned __int128", 0},
116
+ {"f", "float", 0},
117
+ {"d", "double", 0},
118
+ {"e", "long double", 0},
119
+ {"g", "__float128", 0},
120
+ {"z", "ellipsis", 0},
121
+
122
+ {"De", "decimal128", 0}, // IEEE 754r decimal floating point (128 bits)
123
+ {"Dd", "decimal64", 0}, // IEEE 754r decimal floating point (64 bits)
124
+ {"Dc", "decltype(auto)", 0},
125
+ {"Da", "auto", 0},
126
+ {"Dn", "std::nullptr_t", 0}, // i.e., decltype(nullptr)
127
+ {"Df", "decimal32", 0}, // IEEE 754r decimal floating point (32 bits)
128
+ {"Di", "char32_t", 0},
129
+ {"Ds", "char16_t", 0},
130
+ {"Dh", "float16", 0}, // IEEE 754r half-precision float (16 bits)
131
+ {nullptr, nullptr, 0},
132
+ };
133
+
134
+ // List of substitutions Itanium C++ ABI.
135
+ static const AbbrevPair kSubstitutionList[] = {
136
+ {"St", "", 0},
137
+ {"Sa", "allocator", 0},
138
+ {"Sb", "basic_string", 0},
139
+ // std::basic_string<char, std::char_traits<char>,std::allocator<char> >
140
+ {"Ss", "string", 0},
141
+ // std::basic_istream<char, std::char_traits<char> >
142
+ {"Si", "istream", 0},
143
+ // std::basic_ostream<char, std::char_traits<char> >
144
+ {"So", "ostream", 0},
145
+ // std::basic_iostream<char, std::char_traits<char> >
146
+ {"Sd", "iostream", 0},
147
+ {nullptr, nullptr, 0},
148
+ };
149
+
150
+ // State needed for demangling. This struct is copied in almost every stack
151
+ // frame, so every byte counts.
152
+ typedef struct {
153
+ int mangled_idx; // Cursor of mangled name.
154
+ int out_cur_idx; // Cursor of output std::string.
155
+ int prev_name_idx; // For constructors/destructors.
156
+ signed int prev_name_length : 16; // For constructors/destructors.
157
+ signed int nest_level : 15; // For nested names.
158
+ unsigned int append : 1; // Append flag.
159
+ // Note: for some reason MSVC can't pack "bool append : 1" into the same int
160
+ // with the above two fields, so we use an int instead. Amusingly it can pack
161
+ // "signed bool" as expected, but relying on that to continue to be a legal
162
+ // type seems ill-advised (as it's illegal in at least clang).
163
+ } ParseState;
164
+
165
+ static_assert(sizeof(ParseState) == 4 * sizeof(int),
166
+ "unexpected size of ParseState");
167
+
168
+ // One-off state for demangling that's not subject to backtracking -- either
169
+ // constant data, data that's intentionally immune to backtracking (steps), or
170
+ // data that would never be changed by backtracking anyway (recursion_depth).
171
+ //
172
+ // Only one copy of this exists for each call to Demangle, so the size of this
173
+ // struct is nearly inconsequential.
174
+ typedef struct {
175
+ const char *mangled_begin; // Beginning of input std::string.
176
+ char *out; // Beginning of output std::string.
177
+ int out_end_idx; // One past last allowed output character.
178
+ int recursion_depth; // For stack exhaustion prevention.
179
+ int steps; // Cap how much work we'll do, regardless of depth.
180
+ ParseState parse_state; // Backtrackable state copied for most frames.
181
+ } State;
182
+
183
+ namespace {
184
+ // Prevent deep recursion / stack exhaustion.
185
+ // Also prevent unbounded handling of complex inputs.
186
+ class ComplexityGuard {
187
+ public:
188
+ explicit ComplexityGuard(State *state) : state_(state) {
189
+ ++state->recursion_depth;
190
+ ++state->steps;
191
+ }
192
+ ~ComplexityGuard() { --state_->recursion_depth; }
193
+
194
+ // 256 levels of recursion seems like a reasonable upper limit on depth.
195
+ // 128 is not enough to demagle synthetic tests from demangle_unittest.txt:
196
+ // "_ZaaZZZZ..." and "_ZaaZcvZcvZ..."
197
+ static constexpr int kRecursionDepthLimit = 256;
198
+
199
+ // We're trying to pick a charitable upper-limit on how many parse steps are
200
+ // necessary to handle something that a human could actually make use of.
201
+ // This is mostly in place as a bound on how much work we'll do if we are
202
+ // asked to demangle an mangled name from an untrusted source, so it should be
203
+ // much larger than the largest expected symbol, but much smaller than the
204
+ // amount of work we can do in, e.g., a second.
205
+ //
206
+ // Some real-world symbols from an arbitrary binary started failing between
207
+ // 2^12 and 2^13, so we multiply the latter by an extra factor of 16 to set
208
+ // the limit.
209
+ //
210
+ // Spending one second on 2^17 parse steps would require each step to take
211
+ // 7.6us, or ~30000 clock cycles, so it's safe to say this can be done in
212
+ // under a second.
213
+ static constexpr int kParseStepsLimit = 1 << 17;
214
+
215
+ bool IsTooComplex() const {
216
+ return state_->recursion_depth > kRecursionDepthLimit ||
217
+ state_->steps > kParseStepsLimit;
218
+ }
219
+
220
+ private:
221
+ State *state_;
222
+ };
223
+ } // namespace
224
+
225
+ // We don't use strlen() in libc since it's not guaranteed to be async
226
+ // signal safe.
227
+ static size_t StrLen(const char *str) {
228
+ size_t len = 0;
229
+ while (*str != '\0') {
230
+ ++str;
231
+ ++len;
232
+ }
233
+ return len;
234
+ }
235
+
236
+ // Returns true if "str" has at least "n" characters remaining.
237
+ static bool AtLeastNumCharsRemaining(const char *str, int n) {
238
+ for (int i = 0; i < n; ++i) {
239
+ if (str[i] == '\0') {
240
+ return false;
241
+ }
242
+ }
243
+ return true;
244
+ }
245
+
246
+ // Returns true if "str" has "prefix" as a prefix.
247
+ static bool StrPrefix(const char *str, const char *prefix) {
248
+ size_t i = 0;
249
+ while (str[i] != '\0' && prefix[i] != '\0' && str[i] == prefix[i]) {
250
+ ++i;
251
+ }
252
+ return prefix[i] == '\0'; // Consumed everything in "prefix".
253
+ }
254
+
255
+ static void InitState(State *state, const char *mangled, char *out,
256
+ int out_size) {
257
+ state->mangled_begin = mangled;
258
+ state->out = out;
259
+ state->out_end_idx = out_size;
260
+ state->recursion_depth = 0;
261
+ state->steps = 0;
262
+
263
+ state->parse_state.mangled_idx = 0;
264
+ state->parse_state.out_cur_idx = 0;
265
+ state->parse_state.prev_name_idx = 0;
266
+ state->parse_state.prev_name_length = -1;
267
+ state->parse_state.nest_level = -1;
268
+ state->parse_state.append = true;
269
+ }
270
+
271
+ static inline const char *RemainingInput(State *state) {
272
+ return &state->mangled_begin[state->parse_state.mangled_idx];
273
+ }
274
+
275
+ // Returns true and advances "mangled_idx" if we find "one_char_token"
276
+ // at "mangled_idx" position. It is assumed that "one_char_token" does
277
+ // not contain '\0'.
278
+ static bool ParseOneCharToken(State *state, const char one_char_token) {
279
+ ComplexityGuard guard(state);
280
+ if (guard.IsTooComplex()) return false;
281
+ if (RemainingInput(state)[0] == one_char_token) {
282
+ ++state->parse_state.mangled_idx;
283
+ return true;
284
+ }
285
+ return false;
286
+ }
287
+
288
+ // Returns true and advances "mangled_cur" if we find "two_char_token"
289
+ // at "mangled_cur" position. It is assumed that "two_char_token" does
290
+ // not contain '\0'.
291
+ static bool ParseTwoCharToken(State *state, const char *two_char_token) {
292
+ ComplexityGuard guard(state);
293
+ if (guard.IsTooComplex()) return false;
294
+ if (RemainingInput(state)[0] == two_char_token[0] &&
295
+ RemainingInput(state)[1] == two_char_token[1]) {
296
+ state->parse_state.mangled_idx += 2;
297
+ return true;
298
+ }
299
+ return false;
300
+ }
301
+
302
+ // Returns true and advances "mangled_cur" if we find any character in
303
+ // "char_class" at "mangled_cur" position.
304
+ static bool ParseCharClass(State *state, const char *char_class) {
305
+ ComplexityGuard guard(state);
306
+ if (guard.IsTooComplex()) return false;
307
+ if (RemainingInput(state)[0] == '\0') {
308
+ return false;
309
+ }
310
+ const char *p = char_class;
311
+ for (; *p != '\0'; ++p) {
312
+ if (RemainingInput(state)[0] == *p) {
313
+ ++state->parse_state.mangled_idx;
314
+ return true;
315
+ }
316
+ }
317
+ return false;
318
+ }
319
+
320
+ static bool ParseDigit(State *state, int *digit) {
321
+ char c = RemainingInput(state)[0];
322
+ if (ParseCharClass(state, "0123456789")) {
323
+ if (digit != nullptr) {
324
+ *digit = c - '0';
325
+ }
326
+ return true;
327
+ }
328
+ return false;
329
+ }
330
+
331
+ // This function is used for handling an optional non-terminal.
332
+ static bool Optional(bool /*status*/) { return true; }
333
+
334
+ // This function is used for handling <non-terminal>+ syntax.
335
+ typedef bool (*ParseFunc)(State *);
336
+ static bool OneOrMore(ParseFunc parse_func, State *state) {
337
+ if (parse_func(state)) {
338
+ while (parse_func(state)) {
339
+ }
340
+ return true;
341
+ }
342
+ return false;
343
+ }
344
+
345
+ // This function is used for handling <non-terminal>* syntax. The function
346
+ // always returns true and must be followed by a termination token or a
347
+ // terminating sequence not handled by parse_func (e.g.
348
+ // ParseOneCharToken(state, 'E')).
349
+ static bool ZeroOrMore(ParseFunc parse_func, State *state) {
350
+ while (parse_func(state)) {
351
+ }
352
+ return true;
353
+ }
354
+
355
+ // Append "str" at "out_cur_idx". If there is an overflow, out_cur_idx is
356
+ // set to out_end_idx+1. The output string is ensured to
357
+ // always terminate with '\0' as long as there is no overflow.
358
+ static void Append(State *state, const char *const str, const int length) {
359
+ for (int i = 0; i < length; ++i) {
360
+ if (state->parse_state.out_cur_idx + 1 <
361
+ state->out_end_idx) { // +1 for '\0'
362
+ state->out[state->parse_state.out_cur_idx++] = str[i];
363
+ } else {
364
+ // signal overflow
365
+ state->parse_state.out_cur_idx = state->out_end_idx + 1;
366
+ break;
367
+ }
368
+ }
369
+ if (state->parse_state.out_cur_idx < state->out_end_idx) {
370
+ state->out[state->parse_state.out_cur_idx] =
371
+ '\0'; // Terminate it with '\0'
372
+ }
373
+ }
374
+
375
+ // We don't use equivalents in libc to avoid locale issues.
376
+ static bool IsLower(char c) { return c >= 'a' && c <= 'z'; }
377
+
378
+ static bool IsAlpha(char c) {
379
+ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
380
+ }
381
+
382
+ static bool IsDigit(char c) { return c >= '0' && c <= '9'; }
383
+
384
+ // Returns true if "str" is a function clone suffix. These suffixes are used
385
+ // by GCC 4.5.x and later versions (and our locally-modified version of GCC
386
+ // 4.4.x) to indicate functions which have been cloned during optimization.
387
+ // We treat any sequence (.<alpha>+.<digit>+)+ as a function clone suffix.
388
+ static bool IsFunctionCloneSuffix(const char *str) {
389
+ size_t i = 0;
390
+ while (str[i] != '\0') {
391
+ // Consume a single .<alpha>+.<digit>+ sequence.
392
+ if (str[i] != '.' || !IsAlpha(str[i + 1])) {
393
+ return false;
394
+ }
395
+ i += 2;
396
+ while (IsAlpha(str[i])) {
397
+ ++i;
398
+ }
399
+ if (str[i] != '.' || !IsDigit(str[i + 1])) {
400
+ return false;
401
+ }
402
+ i += 2;
403
+ while (IsDigit(str[i])) {
404
+ ++i;
405
+ }
406
+ }
407
+ return true; // Consumed everything in "str".
408
+ }
409
+
410
+ static bool EndsWith(State *state, const char chr) {
411
+ return state->parse_state.out_cur_idx > 0 &&
412
+ chr == state->out[state->parse_state.out_cur_idx - 1];
413
+ }
414
+
415
+ // Append "str" with some tweaks, iff "append" state is true.
416
+ static void MaybeAppendWithLength(State *state, const char *const str,
417
+ const int length) {
418
+ if (state->parse_state.append && length > 0) {
419
+ // Append a space if the output buffer ends with '<' and "str"
420
+ // starts with '<' to avoid <<<.
421
+ if (str[0] == '<' && EndsWith(state, '<')) {
422
+ Append(state, " ", 1);
423
+ }
424
+ // Remember the last identifier name for ctors/dtors.
425
+ if (IsAlpha(str[0]) || str[0] == '_') {
426
+ state->parse_state.prev_name_idx = state->parse_state.out_cur_idx;
427
+ state->parse_state.prev_name_length = length;
428
+ }
429
+ Append(state, str, length);
430
+ }
431
+ }
432
+
433
+ // Appends a positive decimal number to the output if appending is enabled.
434
+ static bool MaybeAppendDecimal(State *state, unsigned int val) {
435
+ // Max {32-64}-bit unsigned int is 20 digits.
436
+ constexpr size_t kMaxLength = 20;
437
+ char buf[kMaxLength];
438
+
439
+ // We can't use itoa or sprintf as neither is specified to be
440
+ // async-signal-safe.
441
+ if (state->parse_state.append) {
442
+ // We can't have a one-before-the-beginning pointer, so instead start with
443
+ // one-past-the-end and manipulate one character before the pointer.
444
+ char *p = &buf[kMaxLength];
445
+ do { // val=0 is the only input that should write a leading zero digit.
446
+ *--p = (val % 10) + '0';
447
+ val /= 10;
448
+ } while (p > buf && val != 0);
449
+
450
+ // 'p' landed on the last character we set. How convenient.
451
+ Append(state, p, kMaxLength - (p - buf));
452
+ }
453
+
454
+ return true;
455
+ }
456
+
457
+ // A convenient wrapper around MaybeAppendWithLength().
458
+ // Returns true so that it can be placed in "if" conditions.
459
+ static bool MaybeAppend(State *state, const char *const str) {
460
+ if (state->parse_state.append) {
461
+ int length = StrLen(str);
462
+ MaybeAppendWithLength(state, str, length);
463
+ }
464
+ return true;
465
+ }
466
+
467
+ // This function is used for handling nested names.
468
+ static bool EnterNestedName(State *state) {
469
+ state->parse_state.nest_level = 0;
470
+ return true;
471
+ }
472
+
473
+ // This function is used for handling nested names.
474
+ static bool LeaveNestedName(State *state, int16_t prev_value) {
475
+ state->parse_state.nest_level = prev_value;
476
+ return true;
477
+ }
478
+
479
+ // Disable the append mode not to print function parameters, etc.
480
+ static bool DisableAppend(State *state) {
481
+ state->parse_state.append = false;
482
+ return true;
483
+ }
484
+
485
+ // Restore the append mode to the previous state.
486
+ static bool RestoreAppend(State *state, bool prev_value) {
487
+ state->parse_state.append = prev_value;
488
+ return true;
489
+ }
490
+
491
+ // Increase the nest level for nested names.
492
+ static void MaybeIncreaseNestLevel(State *state) {
493
+ if (state->parse_state.nest_level > -1) {
494
+ ++state->parse_state.nest_level;
495
+ }
496
+ }
497
+
498
+ // Appends :: for nested names if necessary.
499
+ static void MaybeAppendSeparator(State *state) {
500
+ if (state->parse_state.nest_level >= 1) {
501
+ MaybeAppend(state, "::");
502
+ }
503
+ }
504
+
505
+ // Cancel the last separator if necessary.
506
+ static void MaybeCancelLastSeparator(State *state) {
507
+ if (state->parse_state.nest_level >= 1 && state->parse_state.append &&
508
+ state->parse_state.out_cur_idx >= 2) {
509
+ state->parse_state.out_cur_idx -= 2;
510
+ state->out[state->parse_state.out_cur_idx] = '\0';
511
+ }
512
+ }
513
+
514
+ // Returns true if the identifier of the given length pointed to by
515
+ // "mangled_cur" is anonymous namespace.
516
+ static bool IdentifierIsAnonymousNamespace(State *state, int length) {
517
+ // Returns true if "anon_prefix" is a proper prefix of "mangled_cur".
518
+ static const char anon_prefix[] = "_GLOBAL__N_";
519
+ return (length > static_cast<int>(sizeof(anon_prefix) - 1) &&
520
+ StrPrefix(RemainingInput(state), anon_prefix));
521
+ }
522
+
523
+ // Forward declarations of our parsing functions.
524
+ static bool ParseMangledName(State *state);
525
+ static bool ParseEncoding(State *state);
526
+ static bool ParseName(State *state);
527
+ static bool ParseUnscopedName(State *state);
528
+ static bool ParseNestedName(State *state);
529
+ static bool ParsePrefix(State *state);
530
+ static bool ParseUnqualifiedName(State *state);
531
+ static bool ParseSourceName(State *state);
532
+ static bool ParseLocalSourceName(State *state);
533
+ static bool ParseUnnamedTypeName(State *state);
534
+ static bool ParseNumber(State *state, int *number_out);
535
+ static bool ParseFloatNumber(State *state);
536
+ static bool ParseSeqId(State *state);
537
+ static bool ParseIdentifier(State *state, int length);
538
+ static bool ParseOperatorName(State *state, int *arity);
539
+ static bool ParseSpecialName(State *state);
540
+ static bool ParseCallOffset(State *state);
541
+ static bool ParseNVOffset(State *state);
542
+ static bool ParseVOffset(State *state);
543
+ static bool ParseCtorDtorName(State *state);
544
+ static bool ParseDecltype(State *state);
545
+ static bool ParseType(State *state);
546
+ static bool ParseCVQualifiers(State *state);
547
+ static bool ParseBuiltinType(State *state);
548
+ static bool ParseFunctionType(State *state);
549
+ static bool ParseBareFunctionType(State *state);
550
+ static bool ParseClassEnumType(State *state);
551
+ static bool ParseArrayType(State *state);
552
+ static bool ParsePointerToMemberType(State *state);
553
+ static bool ParseTemplateParam(State *state);
554
+ static bool ParseTemplateTemplateParam(State *state);
555
+ static bool ParseTemplateArgs(State *state);
556
+ static bool ParseTemplateArg(State *state);
557
+ static bool ParseBaseUnresolvedName(State *state);
558
+ static bool ParseUnresolvedName(State *state);
559
+ static bool ParseExpression(State *state);
560
+ static bool ParseExprPrimary(State *state);
561
+ static bool ParseExprCastValue(State *state);
562
+ static bool ParseLocalName(State *state);
563
+ static bool ParseLocalNameSuffix(State *state);
564
+ static bool ParseDiscriminator(State *state);
565
+ static bool ParseSubstitution(State *state, bool accept_std);
566
+
567
+ // Implementation note: the following code is a straightforward
568
+ // translation of the Itanium C++ ABI defined in BNF with a couple of
569
+ // exceptions.
570
+ //
571
+ // - Support GNU extensions not defined in the Itanium C++ ABI
572
+ // - <prefix> and <template-prefix> are combined to avoid infinite loop
573
+ // - Reorder patterns to shorten the code
574
+ // - Reorder patterns to give greedier functions precedence
575
+ // We'll mark "Less greedy than" for these cases in the code
576
+ //
577
+ // Each parsing function changes the parse state and returns true on
578
+ // success, or returns false and doesn't change the parse state (note:
579
+ // the parse-steps counter increases regardless of success or failure).
580
+ // To ensure that the parse state isn't changed in the latter case, we
581
+ // save the original state before we call multiple parsing functions
582
+ // consecutively with &&, and restore it if unsuccessful. See
583
+ // ParseEncoding() as an example of this convention. We follow the
584
+ // convention throughout the code.
585
+ //
586
+ // Originally we tried to do demangling without following the full ABI
587
+ // syntax but it turned out we needed to follow the full syntax to
588
+ // parse complicated cases like nested template arguments. Note that
589
+ // implementing a full-fledged demangler isn't trivial (libiberty's
590
+ // cp-demangle.c has +4300 lines).
591
+ //
592
+ // Note that (foo) in <(foo) ...> is a modifier to be ignored.
593
+ //
594
+ // Reference:
595
+ // - Itanium C++ ABI
596
+ // <https://mentorembedded.github.io/cxx-abi/abi.html#mangling>
597
+
598
+ // <mangled-name> ::= _Z <encoding>
599
+ static bool ParseMangledName(State *state) {
600
+ ComplexityGuard guard(state);
601
+ if (guard.IsTooComplex()) return false;
602
+ return ParseTwoCharToken(state, "_Z") && ParseEncoding(state);
603
+ }
604
+
605
+ // <encoding> ::= <(function) name> <bare-function-type>
606
+ // ::= <(data) name>
607
+ // ::= <special-name>
608
+ static bool ParseEncoding(State *state) {
609
+ ComplexityGuard guard(state);
610
+ if (guard.IsTooComplex()) return false;
611
+ // Implementing the first two productions together as <name>
612
+ // [<bare-function-type>] avoids exponential blowup of backtracking.
613
+ //
614
+ // Since Optional(...) can't fail, there's no need to copy the state for
615
+ // backtracking.
616
+ if (ParseName(state) && Optional(ParseBareFunctionType(state))) {
617
+ return true;
618
+ }
619
+
620
+ if (ParseSpecialName(state)) {
621
+ return true;
622
+ }
623
+ return false;
624
+ }
625
+
626
+ // <name> ::= <nested-name>
627
+ // ::= <unscoped-template-name> <template-args>
628
+ // ::= <unscoped-name>
629
+ // ::= <local-name>
630
+ static bool ParseName(State *state) {
631
+ ComplexityGuard guard(state);
632
+ if (guard.IsTooComplex()) return false;
633
+ if (ParseNestedName(state) || ParseLocalName(state)) {
634
+ return true;
635
+ }
636
+
637
+ // We reorganize the productions to avoid re-parsing unscoped names.
638
+ // - Inline <unscoped-template-name> productions:
639
+ // <name> ::= <substitution> <template-args>
640
+ // ::= <unscoped-name> <template-args>
641
+ // ::= <unscoped-name>
642
+ // - Merge the two productions that start with unscoped-name:
643
+ // <name> ::= <unscoped-name> [<template-args>]
644
+
645
+ ParseState copy = state->parse_state;
646
+ // "std<...>" isn't a valid name.
647
+ if (ParseSubstitution(state, /*accept_std=*/false) &&
648
+ ParseTemplateArgs(state)) {
649
+ return true;
650
+ }
651
+ state->parse_state = copy;
652
+
653
+ // Note there's no need to restore state after this since only the first
654
+ // subparser can fail.
655
+ return ParseUnscopedName(state) && Optional(ParseTemplateArgs(state));
656
+ }
657
+
658
+ // <unscoped-name> ::= <unqualified-name>
659
+ // ::= St <unqualified-name>
660
+ static bool ParseUnscopedName(State *state) {
661
+ ComplexityGuard guard(state);
662
+ if (guard.IsTooComplex()) return false;
663
+ if (ParseUnqualifiedName(state)) {
664
+ return true;
665
+ }
666
+
667
+ ParseState copy = state->parse_state;
668
+ if (ParseTwoCharToken(state, "St") && MaybeAppend(state, "std::") &&
669
+ ParseUnqualifiedName(state)) {
670
+ return true;
671
+ }
672
+ state->parse_state = copy;
673
+ return false;
674
+ }
675
+
676
+ // <ref-qualifer> ::= R // lvalue method reference qualifier
677
+ // ::= O // rvalue method reference qualifier
678
+ static inline bool ParseRefQualifier(State *state) {
679
+ return ParseCharClass(state, "OR");
680
+ }
681
+
682
+ // <nested-name> ::= N [<CV-qualifiers>] [<ref-qualifier>] <prefix>
683
+ // <unqualified-name> E
684
+ // ::= N [<CV-qualifiers>] [<ref-qualifier>] <template-prefix>
685
+ // <template-args> E
686
+ static bool ParseNestedName(State *state) {
687
+ ComplexityGuard guard(state);
688
+ if (guard.IsTooComplex()) return false;
689
+ ParseState copy = state->parse_state;
690
+ if (ParseOneCharToken(state, 'N') && EnterNestedName(state) &&
691
+ Optional(ParseCVQualifiers(state)) &&
692
+ Optional(ParseRefQualifier(state)) && ParsePrefix(state) &&
693
+ LeaveNestedName(state, copy.nest_level) &&
694
+ ParseOneCharToken(state, 'E')) {
695
+ return true;
696
+ }
697
+ state->parse_state = copy;
698
+ return false;
699
+ }
700
+
701
+ // This part is tricky. If we literally translate them to code, we'll
702
+ // end up infinite loop. Hence we merge them to avoid the case.
703
+ //
704
+ // <prefix> ::= <prefix> <unqualified-name>
705
+ // ::= <template-prefix> <template-args>
706
+ // ::= <template-param>
707
+ // ::= <substitution>
708
+ // ::= # empty
709
+ // <template-prefix> ::= <prefix> <(template) unqualified-name>
710
+ // ::= <template-param>
711
+ // ::= <substitution>
712
+ static bool ParsePrefix(State *state) {
713
+ ComplexityGuard guard(state);
714
+ if (guard.IsTooComplex()) return false;
715
+ bool has_something = false;
716
+ while (true) {
717
+ MaybeAppendSeparator(state);
718
+ if (ParseTemplateParam(state) ||
719
+ ParseSubstitution(state, /*accept_std=*/true) ||
720
+ ParseUnscopedName(state) ||
721
+ (ParseOneCharToken(state, 'M') && ParseUnnamedTypeName(state))) {
722
+ has_something = true;
723
+ MaybeIncreaseNestLevel(state);
724
+ continue;
725
+ }
726
+ MaybeCancelLastSeparator(state);
727
+ if (has_something && ParseTemplateArgs(state)) {
728
+ return ParsePrefix(state);
729
+ } else {
730
+ break;
731
+ }
732
+ }
733
+ return true;
734
+ }
735
+
736
+ // <unqualified-name> ::= <operator-name>
737
+ // ::= <ctor-dtor-name>
738
+ // ::= <source-name>
739
+ // ::= <local-source-name> // GCC extension; see below.
740
+ // ::= <unnamed-type-name>
741
+ static bool ParseUnqualifiedName(State *state) {
742
+ ComplexityGuard guard(state);
743
+ if (guard.IsTooComplex()) return false;
744
+ return (ParseOperatorName(state, nullptr) || ParseCtorDtorName(state) ||
745
+ ParseSourceName(state) || ParseLocalSourceName(state) ||
746
+ ParseUnnamedTypeName(state));
747
+ }
748
+
749
+ // <source-name> ::= <positive length number> <identifier>
750
+ static bool ParseSourceName(State *state) {
751
+ ComplexityGuard guard(state);
752
+ if (guard.IsTooComplex()) return false;
753
+ ParseState copy = state->parse_state;
754
+ int length = -1;
755
+ if (ParseNumber(state, &length) && ParseIdentifier(state, length)) {
756
+ return true;
757
+ }
758
+ state->parse_state = copy;
759
+ return false;
760
+ }
761
+
762
+ // <local-source-name> ::= L <source-name> [<discriminator>]
763
+ //
764
+ // References:
765
+ // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31775
766
+ // https://gcc.gnu.org/viewcvs?view=rev&revision=124467
767
+ static bool ParseLocalSourceName(State *state) {
768
+ ComplexityGuard guard(state);
769
+ if (guard.IsTooComplex()) return false;
770
+ ParseState copy = state->parse_state;
771
+ if (ParseOneCharToken(state, 'L') && ParseSourceName(state) &&
772
+ Optional(ParseDiscriminator(state))) {
773
+ return true;
774
+ }
775
+ state->parse_state = copy;
776
+ return false;
777
+ }
778
+
779
+ // <unnamed-type-name> ::= Ut [<(nonnegative) number>] _
780
+ // ::= <closure-type-name>
781
+ // <closure-type-name> ::= Ul <lambda-sig> E [<(nonnegative) number>] _
782
+ // <lambda-sig> ::= <(parameter) type>+
783
+ static bool ParseUnnamedTypeName(State *state) {
784
+ ComplexityGuard guard(state);
785
+ if (guard.IsTooComplex()) return false;
786
+ ParseState copy = state->parse_state;
787
+ // Type's 1-based index n is encoded as { "", n == 1; itoa(n-2), otherwise }.
788
+ // Optionally parse the encoded value into 'which' and add 2 to get the index.
789
+ int which = -1;
790
+
791
+ // Unnamed type local to function or class.
792
+ if (ParseTwoCharToken(state, "Ut") && Optional(ParseNumber(state, &which)) &&
793
+ which <= std::numeric_limits<int>::max() - 2 && // Don't overflow.
794
+ ParseOneCharToken(state, '_')) {
795
+ MaybeAppend(state, "{unnamed type#");
796
+ MaybeAppendDecimal(state, 2 + which);
797
+ MaybeAppend(state, "}");
798
+ return true;
799
+ }
800
+ state->parse_state = copy;
801
+
802
+ // Closure type.
803
+ which = -1;
804
+ if (ParseTwoCharToken(state, "Ul") && DisableAppend(state) &&
805
+ OneOrMore(ParseType, state) && RestoreAppend(state, copy.append) &&
806
+ ParseOneCharToken(state, 'E') && Optional(ParseNumber(state, &which)) &&
807
+ which <= std::numeric_limits<int>::max() - 2 && // Don't overflow.
808
+ ParseOneCharToken(state, '_')) {
809
+ MaybeAppend(state, "{lambda()#");
810
+ MaybeAppendDecimal(state, 2 + which);
811
+ MaybeAppend(state, "}");
812
+ return true;
813
+ }
814
+ state->parse_state = copy;
815
+
816
+ return false;
817
+ }
818
+
819
+ // <number> ::= [n] <non-negative decimal integer>
820
+ // If "number_out" is non-null, then *number_out is set to the value of the
821
+ // parsed number on success.
822
+ static bool ParseNumber(State *state, int *number_out) {
823
+ ComplexityGuard guard(state);
824
+ if (guard.IsTooComplex()) return false;
825
+ bool negative = false;
826
+ if (ParseOneCharToken(state, 'n')) {
827
+ negative = true;
828
+ }
829
+ const char *p = RemainingInput(state);
830
+ uint64_t number = 0;
831
+ for (; *p != '\0'; ++p) {
832
+ if (IsDigit(*p)) {
833
+ number = number * 10 + (*p - '0');
834
+ } else {
835
+ break;
836
+ }
837
+ }
838
+ // Apply the sign with uint64_t arithmetic so overflows aren't UB. Gives
839
+ // "incorrect" results for out-of-range inputs, but negative values only
840
+ // appear for literals, which aren't printed.
841
+ if (negative) {
842
+ number = ~number + 1;
843
+ }
844
+ if (p != RemainingInput(state)) { // Conversion succeeded.
845
+ state->parse_state.mangled_idx += p - RemainingInput(state);
846
+ if (number_out != nullptr) {
847
+ // Note: possibly truncate "number".
848
+ *number_out = number;
849
+ }
850
+ return true;
851
+ }
852
+ return false;
853
+ }
854
+
855
+ // Floating-point literals are encoded using a fixed-length lowercase
856
+ // hexadecimal string.
857
+ static bool ParseFloatNumber(State *state) {
858
+ ComplexityGuard guard(state);
859
+ if (guard.IsTooComplex()) return false;
860
+ const char *p = RemainingInput(state);
861
+ for (; *p != '\0'; ++p) {
862
+ if (!IsDigit(*p) && !(*p >= 'a' && *p <= 'f')) {
863
+ break;
864
+ }
865
+ }
866
+ if (p != RemainingInput(state)) { // Conversion succeeded.
867
+ state->parse_state.mangled_idx += p - RemainingInput(state);
868
+ return true;
869
+ }
870
+ return false;
871
+ }
872
+
873
+ // The <seq-id> is a sequence number in base 36,
874
+ // using digits and upper case letters
875
+ static bool ParseSeqId(State *state) {
876
+ ComplexityGuard guard(state);
877
+ if (guard.IsTooComplex()) return false;
878
+ const char *p = RemainingInput(state);
879
+ for (; *p != '\0'; ++p) {
880
+ if (!IsDigit(*p) && !(*p >= 'A' && *p <= 'Z')) {
881
+ break;
882
+ }
883
+ }
884
+ if (p != RemainingInput(state)) { // Conversion succeeded.
885
+ state->parse_state.mangled_idx += p - RemainingInput(state);
886
+ return true;
887
+ }
888
+ return false;
889
+ }
890
+
891
+ // <identifier> ::= <unqualified source code identifier> (of given length)
892
+ static bool ParseIdentifier(State *state, int length) {
893
+ ComplexityGuard guard(state);
894
+ if (guard.IsTooComplex()) return false;
895
+ if (length < 0 || !AtLeastNumCharsRemaining(RemainingInput(state), length)) {
896
+ return false;
897
+ }
898
+ if (IdentifierIsAnonymousNamespace(state, length)) {
899
+ MaybeAppend(state, "(anonymous namespace)");
900
+ } else {
901
+ MaybeAppendWithLength(state, RemainingInput(state), length);
902
+ }
903
+ state->parse_state.mangled_idx += length;
904
+ return true;
905
+ }
906
+
907
+ // <operator-name> ::= nw, and other two letters cases
908
+ // ::= cv <type> # (cast)
909
+ // ::= v <digit> <source-name> # vendor extended operator
910
+ static bool ParseOperatorName(State *state, int *arity) {
911
+ ComplexityGuard guard(state);
912
+ if (guard.IsTooComplex()) return false;
913
+ if (!AtLeastNumCharsRemaining(RemainingInput(state), 2)) {
914
+ return false;
915
+ }
916
+ // First check with "cv" (cast) case.
917
+ ParseState copy = state->parse_state;
918
+ if (ParseTwoCharToken(state, "cv") && MaybeAppend(state, "operator ") &&
919
+ EnterNestedName(state) && ParseType(state) &&
920
+ LeaveNestedName(state, copy.nest_level)) {
921
+ if (arity != nullptr) {
922
+ *arity = 1;
923
+ }
924
+ return true;
925
+ }
926
+ state->parse_state = copy;
927
+
928
+ // Then vendor extended operators.
929
+ if (ParseOneCharToken(state, 'v') && ParseDigit(state, arity) &&
930
+ ParseSourceName(state)) {
931
+ return true;
932
+ }
933
+ state->parse_state = copy;
934
+
935
+ // Other operator names should start with a lower alphabet followed
936
+ // by a lower/upper alphabet.
937
+ if (!(IsLower(RemainingInput(state)[0]) &&
938
+ IsAlpha(RemainingInput(state)[1]))) {
939
+ return false;
940
+ }
941
+ // We may want to perform a binary search if we really need speed.
942
+ const AbbrevPair *p;
943
+ for (p = kOperatorList; p->abbrev != nullptr; ++p) {
944
+ if (RemainingInput(state)[0] == p->abbrev[0] &&
945
+ RemainingInput(state)[1] == p->abbrev[1]) {
946
+ if (arity != nullptr) {
947
+ *arity = p->arity;
948
+ }
949
+ MaybeAppend(state, "operator");
950
+ if (IsLower(*p->real_name)) { // new, delete, etc.
951
+ MaybeAppend(state, " ");
952
+ }
953
+ MaybeAppend(state, p->real_name);
954
+ state->parse_state.mangled_idx += 2;
955
+ return true;
956
+ }
957
+ }
958
+ return false;
959
+ }
960
+
961
+ // <special-name> ::= TV <type>
962
+ // ::= TT <type>
963
+ // ::= TI <type>
964
+ // ::= TS <type>
965
+ // ::= Tc <call-offset> <call-offset> <(base) encoding>
966
+ // ::= GV <(object) name>
967
+ // ::= T <call-offset> <(base) encoding>
968
+ // G++ extensions:
969
+ // ::= TC <type> <(offset) number> _ <(base) type>
970
+ // ::= TF <type>
971
+ // ::= TJ <type>
972
+ // ::= GR <name>
973
+ // ::= GA <encoding>
974
+ // ::= Th <call-offset> <(base) encoding>
975
+ // ::= Tv <call-offset> <(base) encoding>
976
+ //
977
+ // Note: we don't care much about them since they don't appear in
978
+ // stack traces. The are special data.
979
+ static bool ParseSpecialName(State *state) {
980
+ ComplexityGuard guard(state);
981
+ if (guard.IsTooComplex()) return false;
982
+ ParseState copy = state->parse_state;
983
+ if (ParseOneCharToken(state, 'T') && ParseCharClass(state, "VTIS") &&
984
+ ParseType(state)) {
985
+ return true;
986
+ }
987
+ state->parse_state = copy;
988
+
989
+ if (ParseTwoCharToken(state, "Tc") && ParseCallOffset(state) &&
990
+ ParseCallOffset(state) && ParseEncoding(state)) {
991
+ return true;
992
+ }
993
+ state->parse_state = copy;
994
+
995
+ if (ParseTwoCharToken(state, "GV") && ParseName(state)) {
996
+ return true;
997
+ }
998
+ state->parse_state = copy;
999
+
1000
+ if (ParseOneCharToken(state, 'T') && ParseCallOffset(state) &&
1001
+ ParseEncoding(state)) {
1002
+ return true;
1003
+ }
1004
+ state->parse_state = copy;
1005
+
1006
+ // G++ extensions
1007
+ if (ParseTwoCharToken(state, "TC") && ParseType(state) &&
1008
+ ParseNumber(state, nullptr) && ParseOneCharToken(state, '_') &&
1009
+ DisableAppend(state) && ParseType(state)) {
1010
+ RestoreAppend(state, copy.append);
1011
+ return true;
1012
+ }
1013
+ state->parse_state = copy;
1014
+
1015
+ if (ParseOneCharToken(state, 'T') && ParseCharClass(state, "FJ") &&
1016
+ ParseType(state)) {
1017
+ return true;
1018
+ }
1019
+ state->parse_state = copy;
1020
+
1021
+ if (ParseTwoCharToken(state, "GR") && ParseName(state)) {
1022
+ return true;
1023
+ }
1024
+ state->parse_state = copy;
1025
+
1026
+ if (ParseTwoCharToken(state, "GA") && ParseEncoding(state)) {
1027
+ return true;
1028
+ }
1029
+ state->parse_state = copy;
1030
+
1031
+ if (ParseOneCharToken(state, 'T') && ParseCharClass(state, "hv") &&
1032
+ ParseCallOffset(state) && ParseEncoding(state)) {
1033
+ return true;
1034
+ }
1035
+ state->parse_state = copy;
1036
+ return false;
1037
+ }
1038
+
1039
+ // <call-offset> ::= h <nv-offset> _
1040
+ // ::= v <v-offset> _
1041
+ static bool ParseCallOffset(State *state) {
1042
+ ComplexityGuard guard(state);
1043
+ if (guard.IsTooComplex()) return false;
1044
+ ParseState copy = state->parse_state;
1045
+ if (ParseOneCharToken(state, 'h') && ParseNVOffset(state) &&
1046
+ ParseOneCharToken(state, '_')) {
1047
+ return true;
1048
+ }
1049
+ state->parse_state = copy;
1050
+
1051
+ if (ParseOneCharToken(state, 'v') && ParseVOffset(state) &&
1052
+ ParseOneCharToken(state, '_')) {
1053
+ return true;
1054
+ }
1055
+ state->parse_state = copy;
1056
+
1057
+ return false;
1058
+ }
1059
+
1060
+ // <nv-offset> ::= <(offset) number>
1061
+ static bool ParseNVOffset(State *state) {
1062
+ ComplexityGuard guard(state);
1063
+ if (guard.IsTooComplex()) return false;
1064
+ return ParseNumber(state, nullptr);
1065
+ }
1066
+
1067
+ // <v-offset> ::= <(offset) number> _ <(virtual offset) number>
1068
+ static bool ParseVOffset(State *state) {
1069
+ ComplexityGuard guard(state);
1070
+ if (guard.IsTooComplex()) return false;
1071
+ ParseState copy = state->parse_state;
1072
+ if (ParseNumber(state, nullptr) && ParseOneCharToken(state, '_') &&
1073
+ ParseNumber(state, nullptr)) {
1074
+ return true;
1075
+ }
1076
+ state->parse_state = copy;
1077
+ return false;
1078
+ }
1079
+
1080
+ // <ctor-dtor-name> ::= C1 | C2 | C3
1081
+ // ::= D0 | D1 | D2
1082
+ // # GCC extensions: "unified" constructor/destructor. See
1083
+ // # https://github.com/gcc-mirror/gcc/blob/7ad17b583c3643bd4557f29b8391ca7ef08391f5/gcc/cp/mangle.c#L1847
1084
+ // ::= C4 | D4
1085
+ static bool ParseCtorDtorName(State *state) {
1086
+ ComplexityGuard guard(state);
1087
+ if (guard.IsTooComplex()) return false;
1088
+ ParseState copy = state->parse_state;
1089
+ if (ParseOneCharToken(state, 'C') && ParseCharClass(state, "1234")) {
1090
+ const char *const prev_name = state->out + state->parse_state.prev_name_idx;
1091
+ MaybeAppendWithLength(state, prev_name,
1092
+ state->parse_state.prev_name_length);
1093
+ return true;
1094
+ }
1095
+ state->parse_state = copy;
1096
+
1097
+ if (ParseOneCharToken(state, 'D') && ParseCharClass(state, "0124")) {
1098
+ const char *const prev_name = state->out + state->parse_state.prev_name_idx;
1099
+ MaybeAppend(state, "~");
1100
+ MaybeAppendWithLength(state, prev_name,
1101
+ state->parse_state.prev_name_length);
1102
+ return true;
1103
+ }
1104
+ state->parse_state = copy;
1105
+ return false;
1106
+ }
1107
+
1108
+ // <decltype> ::= Dt <expression> E # decltype of an id-expression or class
1109
+ // # member access (C++0x)
1110
+ // ::= DT <expression> E # decltype of an expression (C++0x)
1111
+ static bool ParseDecltype(State *state) {
1112
+ ComplexityGuard guard(state);
1113
+ if (guard.IsTooComplex()) return false;
1114
+
1115
+ ParseState copy = state->parse_state;
1116
+ if (ParseOneCharToken(state, 'D') && ParseCharClass(state, "tT") &&
1117
+ ParseExpression(state) && ParseOneCharToken(state, 'E')) {
1118
+ return true;
1119
+ }
1120
+ state->parse_state = copy;
1121
+
1122
+ return false;
1123
+ }
1124
+
1125
+ // <type> ::= <CV-qualifiers> <type>
1126
+ // ::= P <type> # pointer-to
1127
+ // ::= R <type> # reference-to
1128
+ // ::= O <type> # rvalue reference-to (C++0x)
1129
+ // ::= C <type> # complex pair (C 2000)
1130
+ // ::= G <type> # imaginary (C 2000)
1131
+ // ::= U <source-name> <type> # vendor extended type qualifier
1132
+ // ::= <builtin-type>
1133
+ // ::= <function-type>
1134
+ // ::= <class-enum-type> # note: just an alias for <name>
1135
+ // ::= <array-type>
1136
+ // ::= <pointer-to-member-type>
1137
+ // ::= <template-template-param> <template-args>
1138
+ // ::= <template-param>
1139
+ // ::= <decltype>
1140
+ // ::= <substitution>
1141
+ // ::= Dp <type> # pack expansion of (C++0x)
1142
+ //
1143
+ static bool ParseType(State *state) {
1144
+ ComplexityGuard guard(state);
1145
+ if (guard.IsTooComplex()) return false;
1146
+ ParseState copy = state->parse_state;
1147
+
1148
+ // We should check CV-qualifers, and PRGC things first.
1149
+ //
1150
+ // CV-qualifiers overlap with some operator names, but an operator name is not
1151
+ // valid as a type. To avoid an ambiguity that can lead to exponential time
1152
+ // complexity, refuse to backtrack the CV-qualifiers.
1153
+ //
1154
+ // _Z4aoeuIrMvvE
1155
+ // => _Z 4aoeuI rM v v E
1156
+ // aoeu<operator%=, void, void>
1157
+ // => _Z 4aoeuI r Mv v E
1158
+ // aoeu<void void::* restrict>
1159
+ //
1160
+ // By consuming the CV-qualifiers first, the former parse is disabled.
1161
+ if (ParseCVQualifiers(state)) {
1162
+ const bool result = ParseType(state);
1163
+ if (!result) state->parse_state = copy;
1164
+ return result;
1165
+ }
1166
+ state->parse_state = copy;
1167
+
1168
+ // Similarly, these tag characters can overlap with other <name>s resulting in
1169
+ // two different parse prefixes that land on <template-args> in the same
1170
+ // place, such as "C3r1xI...". So, disable the "ctor-name = C3" parse by
1171
+ // refusing to backtrack the tag characters.
1172
+ if (ParseCharClass(state, "OPRCG")) {
1173
+ const bool result = ParseType(state);
1174
+ if (!result) state->parse_state = copy;
1175
+ return result;
1176
+ }
1177
+ state->parse_state = copy;
1178
+
1179
+ if (ParseTwoCharToken(state, "Dp") && ParseType(state)) {
1180
+ return true;
1181
+ }
1182
+ state->parse_state = copy;
1183
+
1184
+ if (ParseOneCharToken(state, 'U') && ParseSourceName(state) &&
1185
+ ParseType(state)) {
1186
+ return true;
1187
+ }
1188
+ state->parse_state = copy;
1189
+
1190
+ if (ParseBuiltinType(state) || ParseFunctionType(state) ||
1191
+ ParseClassEnumType(state) || ParseArrayType(state) ||
1192
+ ParsePointerToMemberType(state) || ParseDecltype(state) ||
1193
+ // "std" on its own isn't a type.
1194
+ ParseSubstitution(state, /*accept_std=*/false)) {
1195
+ return true;
1196
+ }
1197
+
1198
+ if (ParseTemplateTemplateParam(state) && ParseTemplateArgs(state)) {
1199
+ return true;
1200
+ }
1201
+ state->parse_state = copy;
1202
+
1203
+ // Less greedy than <template-template-param> <template-args>.
1204
+ if (ParseTemplateParam(state)) {
1205
+ return true;
1206
+ }
1207
+
1208
+ return false;
1209
+ }
1210
+
1211
+ // <CV-qualifiers> ::= [r] [V] [K]
1212
+ // We don't allow empty <CV-qualifiers> to avoid infinite loop in
1213
+ // ParseType().
1214
+ static bool ParseCVQualifiers(State *state) {
1215
+ ComplexityGuard guard(state);
1216
+ if (guard.IsTooComplex()) return false;
1217
+ int num_cv_qualifiers = 0;
1218
+ num_cv_qualifiers += ParseOneCharToken(state, 'r');
1219
+ num_cv_qualifiers += ParseOneCharToken(state, 'V');
1220
+ num_cv_qualifiers += ParseOneCharToken(state, 'K');
1221
+ return num_cv_qualifiers > 0;
1222
+ }
1223
+
1224
+ // <builtin-type> ::= v, etc. # single-character builtin types
1225
+ // ::= u <source-name>
1226
+ // ::= Dd, etc. # two-character builtin types
1227
+ //
1228
+ // Not supported:
1229
+ // ::= DF <number> _ # _FloatN (N bits)
1230
+ //
1231
+ static bool ParseBuiltinType(State *state) {
1232
+ ComplexityGuard guard(state);
1233
+ if (guard.IsTooComplex()) return false;
1234
+ const AbbrevPair *p;
1235
+ for (p = kBuiltinTypeList; p->abbrev != nullptr; ++p) {
1236
+ // Guaranteed only 1- or 2-character strings in kBuiltinTypeList.
1237
+ if (p->abbrev[1] == '\0') {
1238
+ if (ParseOneCharToken(state, p->abbrev[0])) {
1239
+ MaybeAppend(state, p->real_name);
1240
+ return true;
1241
+ }
1242
+ } else if (p->abbrev[2] == '\0' && ParseTwoCharToken(state, p->abbrev)) {
1243
+ MaybeAppend(state, p->real_name);
1244
+ return true;
1245
+ }
1246
+ }
1247
+
1248
+ ParseState copy = state->parse_state;
1249
+ if (ParseOneCharToken(state, 'u') && ParseSourceName(state)) {
1250
+ return true;
1251
+ }
1252
+ state->parse_state = copy;
1253
+ return false;
1254
+ }
1255
+
1256
+ // <function-type> ::= F [Y] <bare-function-type> E
1257
+ static bool ParseFunctionType(State *state) {
1258
+ ComplexityGuard guard(state);
1259
+ if (guard.IsTooComplex()) return false;
1260
+ ParseState copy = state->parse_state;
1261
+ if (ParseOneCharToken(state, 'F') &&
1262
+ Optional(ParseOneCharToken(state, 'Y')) && ParseBareFunctionType(state) &&
1263
+ ParseOneCharToken(state, 'E')) {
1264
+ return true;
1265
+ }
1266
+ state->parse_state = copy;
1267
+ return false;
1268
+ }
1269
+
1270
+ // <bare-function-type> ::= <(signature) type>+
1271
+ static bool ParseBareFunctionType(State *state) {
1272
+ ComplexityGuard guard(state);
1273
+ if (guard.IsTooComplex()) return false;
1274
+ ParseState copy = state->parse_state;
1275
+ DisableAppend(state);
1276
+ if (OneOrMore(ParseType, state)) {
1277
+ RestoreAppend(state, copy.append);
1278
+ MaybeAppend(state, "()");
1279
+ return true;
1280
+ }
1281
+ state->parse_state = copy;
1282
+ return false;
1283
+ }
1284
+
1285
+ // <class-enum-type> ::= <name>
1286
+ static bool ParseClassEnumType(State *state) {
1287
+ ComplexityGuard guard(state);
1288
+ if (guard.IsTooComplex()) return false;
1289
+ return ParseName(state);
1290
+ }
1291
+
1292
+ // <array-type> ::= A <(positive dimension) number> _ <(element) type>
1293
+ // ::= A [<(dimension) expression>] _ <(element) type>
1294
+ static bool ParseArrayType(State *state) {
1295
+ ComplexityGuard guard(state);
1296
+ if (guard.IsTooComplex()) return false;
1297
+ ParseState copy = state->parse_state;
1298
+ if (ParseOneCharToken(state, 'A') && ParseNumber(state, nullptr) &&
1299
+ ParseOneCharToken(state, '_') && ParseType(state)) {
1300
+ return true;
1301
+ }
1302
+ state->parse_state = copy;
1303
+
1304
+ if (ParseOneCharToken(state, 'A') && Optional(ParseExpression(state)) &&
1305
+ ParseOneCharToken(state, '_') && ParseType(state)) {
1306
+ return true;
1307
+ }
1308
+ state->parse_state = copy;
1309
+ return false;
1310
+ }
1311
+
1312
+ // <pointer-to-member-type> ::= M <(class) type> <(member) type>
1313
+ static bool ParsePointerToMemberType(State *state) {
1314
+ ComplexityGuard guard(state);
1315
+ if (guard.IsTooComplex()) return false;
1316
+ ParseState copy = state->parse_state;
1317
+ if (ParseOneCharToken(state, 'M') && ParseType(state) && ParseType(state)) {
1318
+ return true;
1319
+ }
1320
+ state->parse_state = copy;
1321
+ return false;
1322
+ }
1323
+
1324
+ // <template-param> ::= T_
1325
+ // ::= T <parameter-2 non-negative number> _
1326
+ static bool ParseTemplateParam(State *state) {
1327
+ ComplexityGuard guard(state);
1328
+ if (guard.IsTooComplex()) return false;
1329
+ if (ParseTwoCharToken(state, "T_")) {
1330
+ MaybeAppend(state, "?"); // We don't support template substitutions.
1331
+ return true;
1332
+ }
1333
+
1334
+ ParseState copy = state->parse_state;
1335
+ if (ParseOneCharToken(state, 'T') && ParseNumber(state, nullptr) &&
1336
+ ParseOneCharToken(state, '_')) {
1337
+ MaybeAppend(state, "?"); // We don't support template substitutions.
1338
+ return true;
1339
+ }
1340
+ state->parse_state = copy;
1341
+ return false;
1342
+ }
1343
+
1344
+ // <template-template-param> ::= <template-param>
1345
+ // ::= <substitution>
1346
+ static bool ParseTemplateTemplateParam(State *state) {
1347
+ ComplexityGuard guard(state);
1348
+ if (guard.IsTooComplex()) return false;
1349
+ return (ParseTemplateParam(state) ||
1350
+ // "std" on its own isn't a template.
1351
+ ParseSubstitution(state, /*accept_std=*/false));
1352
+ }
1353
+
1354
+ // <template-args> ::= I <template-arg>+ E
1355
+ static bool ParseTemplateArgs(State *state) {
1356
+ ComplexityGuard guard(state);
1357
+ if (guard.IsTooComplex()) return false;
1358
+ ParseState copy = state->parse_state;
1359
+ DisableAppend(state);
1360
+ if (ParseOneCharToken(state, 'I') && OneOrMore(ParseTemplateArg, state) &&
1361
+ ParseOneCharToken(state, 'E')) {
1362
+ RestoreAppend(state, copy.append);
1363
+ MaybeAppend(state, "<>");
1364
+ return true;
1365
+ }
1366
+ state->parse_state = copy;
1367
+ return false;
1368
+ }
1369
+
1370
+ // <template-arg> ::= <type>
1371
+ // ::= <expr-primary>
1372
+ // ::= J <template-arg>* E # argument pack
1373
+ // ::= X <expression> E
1374
+ static bool ParseTemplateArg(State *state) {
1375
+ ComplexityGuard guard(state);
1376
+ if (guard.IsTooComplex()) return false;
1377
+ ParseState copy = state->parse_state;
1378
+ if (ParseOneCharToken(state, 'J') && ZeroOrMore(ParseTemplateArg, state) &&
1379
+ ParseOneCharToken(state, 'E')) {
1380
+ return true;
1381
+ }
1382
+ state->parse_state = copy;
1383
+
1384
+ // There can be significant overlap between the following leading to
1385
+ // exponential backtracking:
1386
+ //
1387
+ // <expr-primary> ::= L <type> <expr-cast-value> E
1388
+ // e.g. L 2xxIvE 1 E
1389
+ // <type> ==> <local-source-name> <template-args>
1390
+ // e.g. L 2xx IvE
1391
+ //
1392
+ // This means parsing an entire <type> twice, and <type> can contain
1393
+ // <template-arg>, so this can generate exponential backtracking. There is
1394
+ // only overlap when the remaining input starts with "L <source-name>", so
1395
+ // parse all cases that can start this way jointly to share the common prefix.
1396
+ //
1397
+ // We have:
1398
+ //
1399
+ // <template-arg> ::= <type>
1400
+ // ::= <expr-primary>
1401
+ //
1402
+ // First, drop all the productions of <type> that must start with something
1403
+ // other than 'L'. All that's left is <class-enum-type>; inline it.
1404
+ //
1405
+ // <type> ::= <nested-name> # starts with 'N'
1406
+ // ::= <unscoped-name>
1407
+ // ::= <unscoped-template-name> <template-args>
1408
+ // ::= <local-name> # starts with 'Z'
1409
+ //
1410
+ // Drop and inline again:
1411
+ //
1412
+ // <type> ::= <unscoped-name>
1413
+ // ::= <unscoped-name> <template-args>
1414
+ // ::= <substitution> <template-args> # starts with 'S'
1415
+ //
1416
+ // Merge the first two, inline <unscoped-name>, drop last:
1417
+ //
1418
+ // <type> ::= <unqualified-name> [<template-args>]
1419
+ // ::= St <unqualified-name> [<template-args>] # starts with 'S'
1420
+ //
1421
+ // Drop and inline:
1422
+ //
1423
+ // <type> ::= <operator-name> [<template-args>] # starts with lowercase
1424
+ // ::= <ctor-dtor-name> [<template-args>] # starts with 'C' or 'D'
1425
+ // ::= <source-name> [<template-args>] # starts with digit
1426
+ // ::= <local-source-name> [<template-args>]
1427
+ // ::= <unnamed-type-name> [<template-args>] # starts with 'U'
1428
+ //
1429
+ // One more time:
1430
+ //
1431
+ // <type> ::= L <source-name> [<template-args>]
1432
+ //
1433
+ // Likewise with <expr-primary>:
1434
+ //
1435
+ // <expr-primary> ::= L <type> <expr-cast-value> E
1436
+ // ::= LZ <encoding> E # cannot overlap; drop
1437
+ // ::= L <mangled_name> E # cannot overlap; drop
1438
+ //
1439
+ // By similar reasoning as shown above, the only <type>s starting with
1440
+ // <source-name> are "<source-name> [<template-args>]". Inline this.
1441
+ //
1442
+ // <expr-primary> ::= L <source-name> [<template-args>] <expr-cast-value> E
1443
+ //
1444
+ // Now inline both of these into <template-arg>:
1445
+ //
1446
+ // <template-arg> ::= L <source-name> [<template-args>]
1447
+ // ::= L <source-name> [<template-args>] <expr-cast-value> E
1448
+ //
1449
+ // Merge them and we're done:
1450
+ // <template-arg>
1451
+ // ::= L <source-name> [<template-args>] [<expr-cast-value> E]
1452
+ if (ParseLocalSourceName(state) && Optional(ParseTemplateArgs(state))) {
1453
+ copy = state->parse_state;
1454
+ if (ParseExprCastValue(state) && ParseOneCharToken(state, 'E')) {
1455
+ return true;
1456
+ }
1457
+ state->parse_state = copy;
1458
+ return true;
1459
+ }
1460
+
1461
+ // Now that the overlapping cases can't reach this code, we can safely call
1462
+ // both of these.
1463
+ if (ParseType(state) || ParseExprPrimary(state)) {
1464
+ return true;
1465
+ }
1466
+ state->parse_state = copy;
1467
+
1468
+ if (ParseOneCharToken(state, 'X') && ParseExpression(state) &&
1469
+ ParseOneCharToken(state, 'E')) {
1470
+ return true;
1471
+ }
1472
+ state->parse_state = copy;
1473
+ return false;
1474
+ }
1475
+
1476
+ // <unresolved-type> ::= <template-param> [<template-args>]
1477
+ // ::= <decltype>
1478
+ // ::= <substitution>
1479
+ static inline bool ParseUnresolvedType(State *state) {
1480
+ // No ComplexityGuard because we don't copy the state in this stack frame.
1481
+ return (ParseTemplateParam(state) && Optional(ParseTemplateArgs(state))) ||
1482
+ ParseDecltype(state) || ParseSubstitution(state, /*accept_std=*/false);
1483
+ }
1484
+
1485
+ // <simple-id> ::= <source-name> [<template-args>]
1486
+ static inline bool ParseSimpleId(State *state) {
1487
+ // No ComplexityGuard because we don't copy the state in this stack frame.
1488
+
1489
+ // Note: <simple-id> cannot be followed by a parameter pack; see comment in
1490
+ // ParseUnresolvedType.
1491
+ return ParseSourceName(state) && Optional(ParseTemplateArgs(state));
1492
+ }
1493
+
1494
+ // <base-unresolved-name> ::= <source-name> [<template-args>]
1495
+ // ::= on <operator-name> [<template-args>]
1496
+ // ::= dn <destructor-name>
1497
+ static bool ParseBaseUnresolvedName(State *state) {
1498
+ ComplexityGuard guard(state);
1499
+ if (guard.IsTooComplex()) return false;
1500
+
1501
+ if (ParseSimpleId(state)) {
1502
+ return true;
1503
+ }
1504
+
1505
+ ParseState copy = state->parse_state;
1506
+ if (ParseTwoCharToken(state, "on") && ParseOperatorName(state, nullptr) &&
1507
+ Optional(ParseTemplateArgs(state))) {
1508
+ return true;
1509
+ }
1510
+ state->parse_state = copy;
1511
+
1512
+ if (ParseTwoCharToken(state, "dn") &&
1513
+ (ParseUnresolvedType(state) || ParseSimpleId(state))) {
1514
+ return true;
1515
+ }
1516
+ state->parse_state = copy;
1517
+
1518
+ return false;
1519
+ }
1520
+
1521
+ // <unresolved-name> ::= [gs] <base-unresolved-name>
1522
+ // ::= sr <unresolved-type> <base-unresolved-name>
1523
+ // ::= srN <unresolved-type> <unresolved-qualifier-level>+ E
1524
+ // <base-unresolved-name>
1525
+ // ::= [gs] sr <unresolved-qualifier-level>+ E
1526
+ // <base-unresolved-name>
1527
+ static bool ParseUnresolvedName(State *state) {
1528
+ ComplexityGuard guard(state);
1529
+ if (guard.IsTooComplex()) return false;
1530
+
1531
+ ParseState copy = state->parse_state;
1532
+ if (Optional(ParseTwoCharToken(state, "gs")) &&
1533
+ ParseBaseUnresolvedName(state)) {
1534
+ return true;
1535
+ }
1536
+ state->parse_state = copy;
1537
+
1538
+ if (ParseTwoCharToken(state, "sr") && ParseUnresolvedType(state) &&
1539
+ ParseBaseUnresolvedName(state)) {
1540
+ return true;
1541
+ }
1542
+ state->parse_state = copy;
1543
+
1544
+ if (ParseTwoCharToken(state, "sr") && ParseOneCharToken(state, 'N') &&
1545
+ ParseUnresolvedType(state) &&
1546
+ OneOrMore(/* <unresolved-qualifier-level> ::= */ ParseSimpleId, state) &&
1547
+ ParseOneCharToken(state, 'E') && ParseBaseUnresolvedName(state)) {
1548
+ return true;
1549
+ }
1550
+ state->parse_state = copy;
1551
+
1552
+ if (Optional(ParseTwoCharToken(state, "gs")) &&
1553
+ ParseTwoCharToken(state, "sr") &&
1554
+ OneOrMore(/* <unresolved-qualifier-level> ::= */ ParseSimpleId, state) &&
1555
+ ParseOneCharToken(state, 'E') && ParseBaseUnresolvedName(state)) {
1556
+ return true;
1557
+ }
1558
+ state->parse_state = copy;
1559
+
1560
+ return false;
1561
+ }
1562
+
1563
+ // <expression> ::= <1-ary operator-name> <expression>
1564
+ // ::= <2-ary operator-name> <expression> <expression>
1565
+ // ::= <3-ary operator-name> <expression> <expression> <expression>
1566
+ // ::= cl <expression>+ E
1567
+ // ::= cv <type> <expression> # type (expression)
1568
+ // ::= cv <type> _ <expression>* E # type (expr-list)
1569
+ // ::= st <type>
1570
+ // ::= <template-param>
1571
+ // ::= <function-param>
1572
+ // ::= <expr-primary>
1573
+ // ::= dt <expression> <unresolved-name> # expr.name
1574
+ // ::= pt <expression> <unresolved-name> # expr->name
1575
+ // ::= sp <expression> # argument pack expansion
1576
+ // ::= sr <type> <unqualified-name> <template-args>
1577
+ // ::= sr <type> <unqualified-name>
1578
+ // <function-param> ::= fp <(top-level) CV-qualifiers> _
1579
+ // ::= fp <(top-level) CV-qualifiers> <number> _
1580
+ // ::= fL <number> p <(top-level) CV-qualifiers> _
1581
+ // ::= fL <number> p <(top-level) CV-qualifiers> <number> _
1582
+ static bool ParseExpression(State *state) {
1583
+ ComplexityGuard guard(state);
1584
+ if (guard.IsTooComplex()) return false;
1585
+ if (ParseTemplateParam(state) || ParseExprPrimary(state)) {
1586
+ return true;
1587
+ }
1588
+
1589
+ // Object/function call expression.
1590
+ ParseState copy = state->parse_state;
1591
+ if (ParseTwoCharToken(state, "cl") && OneOrMore(ParseExpression, state) &&
1592
+ ParseOneCharToken(state, 'E')) {
1593
+ return true;
1594
+ }
1595
+ state->parse_state = copy;
1596
+
1597
+ // Function-param expression (level 0).
1598
+ if (ParseTwoCharToken(state, "fp") && Optional(ParseCVQualifiers(state)) &&
1599
+ Optional(ParseNumber(state, nullptr)) && ParseOneCharToken(state, '_')) {
1600
+ return true;
1601
+ }
1602
+ state->parse_state = copy;
1603
+
1604
+ // Function-param expression (level 1+).
1605
+ if (ParseTwoCharToken(state, "fL") && Optional(ParseNumber(state, nullptr)) &&
1606
+ ParseOneCharToken(state, 'p') && Optional(ParseCVQualifiers(state)) &&
1607
+ Optional(ParseNumber(state, nullptr)) && ParseOneCharToken(state, '_')) {
1608
+ return true;
1609
+ }
1610
+ state->parse_state = copy;
1611
+
1612
+ // Parse the conversion expressions jointly to avoid re-parsing the <type> in
1613
+ // their common prefix. Parsed as:
1614
+ // <expression> ::= cv <type> <conversion-args>
1615
+ // <conversion-args> ::= _ <expression>* E
1616
+ // ::= <expression>
1617
+ //
1618
+ // Also don't try ParseOperatorName after seeing "cv", since ParseOperatorName
1619
+ // also needs to accept "cv <type>" in other contexts.
1620
+ if (ParseTwoCharToken(state, "cv")) {
1621
+ if (ParseType(state)) {
1622
+ ParseState copy2 = state->parse_state;
1623
+ if (ParseOneCharToken(state, '_') && ZeroOrMore(ParseExpression, state) &&
1624
+ ParseOneCharToken(state, 'E')) {
1625
+ return true;
1626
+ }
1627
+ state->parse_state = copy2;
1628
+ if (ParseExpression(state)) {
1629
+ return true;
1630
+ }
1631
+ }
1632
+ } else {
1633
+ // Parse unary, binary, and ternary operator expressions jointly, taking
1634
+ // care not to re-parse subexpressions repeatedly. Parse like:
1635
+ // <expression> ::= <operator-name> <expression>
1636
+ // [<one-to-two-expressions>]
1637
+ // <one-to-two-expressions> ::= <expression> [<expression>]
1638
+ int arity = -1;
1639
+ if (ParseOperatorName(state, &arity) &&
1640
+ arity > 0 && // 0 arity => disabled.
1641
+ (arity < 3 || ParseExpression(state)) &&
1642
+ (arity < 2 || ParseExpression(state)) &&
1643
+ (arity < 1 || ParseExpression(state))) {
1644
+ return true;
1645
+ }
1646
+ }
1647
+ state->parse_state = copy;
1648
+
1649
+ // sizeof type
1650
+ if (ParseTwoCharToken(state, "st") && ParseType(state)) {
1651
+ return true;
1652
+ }
1653
+ state->parse_state = copy;
1654
+
1655
+ // Object and pointer member access expressions.
1656
+ if ((ParseTwoCharToken(state, "dt") || ParseTwoCharToken(state, "pt")) &&
1657
+ ParseExpression(state) && ParseType(state)) {
1658
+ return true;
1659
+ }
1660
+ state->parse_state = copy;
1661
+
1662
+ // Pointer-to-member access expressions. This parses the same as a binary
1663
+ // operator, but it's implemented separately because "ds" shouldn't be
1664
+ // accepted in other contexts that parse an operator name.
1665
+ if (ParseTwoCharToken(state, "ds") && ParseExpression(state) &&
1666
+ ParseExpression(state)) {
1667
+ return true;
1668
+ }
1669
+ state->parse_state = copy;
1670
+
1671
+ // Parameter pack expansion
1672
+ if (ParseTwoCharToken(state, "sp") && ParseExpression(state)) {
1673
+ return true;
1674
+ }
1675
+ state->parse_state = copy;
1676
+
1677
+ return ParseUnresolvedName(state);
1678
+ }
1679
+
1680
+ // <expr-primary> ::= L <type> <(value) number> E
1681
+ // ::= L <type> <(value) float> E
1682
+ // ::= L <mangled-name> E
1683
+ // // A bug in g++'s C++ ABI version 2 (-fabi-version=2).
1684
+ // ::= LZ <encoding> E
1685
+ //
1686
+ // Warning, subtle: the "bug" LZ production above is ambiguous with the first
1687
+ // production where <type> starts with <local-name>, which can lead to
1688
+ // exponential backtracking in two scenarios:
1689
+ //
1690
+ // - When whatever follows the E in the <local-name> in the first production is
1691
+ // not a name, we backtrack the whole <encoding> and re-parse the whole thing.
1692
+ //
1693
+ // - When whatever follows the <local-name> in the first production is not a
1694
+ // number and this <expr-primary> may be followed by a name, we backtrack the
1695
+ // <name> and re-parse it.
1696
+ //
1697
+ // Moreover this ambiguity isn't always resolved -- for example, the following
1698
+ // has two different parses:
1699
+ //
1700
+ // _ZaaILZ4aoeuE1x1EvE
1701
+ // => operator&&<aoeu, x, E, void>
1702
+ // => operator&&<(aoeu::x)(1), void>
1703
+ //
1704
+ // To resolve this, we just do what GCC's demangler does, and refuse to parse
1705
+ // casts to <local-name> types.
1706
+ static bool ParseExprPrimary(State *state) {
1707
+ ComplexityGuard guard(state);
1708
+ if (guard.IsTooComplex()) return false;
1709
+ ParseState copy = state->parse_state;
1710
+
1711
+ // The "LZ" special case: if we see LZ, we commit to accept "LZ <encoding> E"
1712
+ // or fail, no backtracking.
1713
+ if (ParseTwoCharToken(state, "LZ")) {
1714
+ if (ParseEncoding(state) && ParseOneCharToken(state, 'E')) {
1715
+ return true;
1716
+ }
1717
+
1718
+ state->parse_state = copy;
1719
+ return false;
1720
+ }
1721
+
1722
+ // The merged cast production.
1723
+ if (ParseOneCharToken(state, 'L') && ParseType(state) &&
1724
+ ParseExprCastValue(state)) {
1725
+ return true;
1726
+ }
1727
+ state->parse_state = copy;
1728
+
1729
+ if (ParseOneCharToken(state, 'L') && ParseMangledName(state) &&
1730
+ ParseOneCharToken(state, 'E')) {
1731
+ return true;
1732
+ }
1733
+ state->parse_state = copy;
1734
+
1735
+ return false;
1736
+ }
1737
+
1738
+ // <number> or <float>, followed by 'E', as described above ParseExprPrimary.
1739
+ static bool ParseExprCastValue(State *state) {
1740
+ ComplexityGuard guard(state);
1741
+ if (guard.IsTooComplex()) return false;
1742
+ // We have to be able to backtrack after accepting a number because we could
1743
+ // have e.g. "7fffE", which will accept "7" as a number but then fail to find
1744
+ // the 'E'.
1745
+ ParseState copy = state->parse_state;
1746
+ if (ParseNumber(state, nullptr) && ParseOneCharToken(state, 'E')) {
1747
+ return true;
1748
+ }
1749
+ state->parse_state = copy;
1750
+
1751
+ if (ParseFloatNumber(state) && ParseOneCharToken(state, 'E')) {
1752
+ return true;
1753
+ }
1754
+ state->parse_state = copy;
1755
+
1756
+ return false;
1757
+ }
1758
+
1759
+ // <local-name> ::= Z <(function) encoding> E <(entity) name> [<discriminator>]
1760
+ // ::= Z <(function) encoding> E s [<discriminator>]
1761
+ //
1762
+ // Parsing a common prefix of these two productions together avoids an
1763
+ // exponential blowup of backtracking. Parse like:
1764
+ // <local-name> := Z <encoding> E <local-name-suffix>
1765
+ // <local-name-suffix> ::= s [<discriminator>]
1766
+ // ::= <name> [<discriminator>]
1767
+
1768
+ static bool ParseLocalNameSuffix(State *state) {
1769
+ ComplexityGuard guard(state);
1770
+ if (guard.IsTooComplex()) return false;
1771
+
1772
+ if (MaybeAppend(state, "::") && ParseName(state) &&
1773
+ Optional(ParseDiscriminator(state))) {
1774
+ return true;
1775
+ }
1776
+
1777
+ // Since we're not going to overwrite the above "::" by re-parsing the
1778
+ // <encoding> (whose trailing '\0' byte was in the byte now holding the
1779
+ // first ':'), we have to rollback the "::" if the <name> parse failed.
1780
+ if (state->parse_state.append) {
1781
+ state->out[state->parse_state.out_cur_idx - 2] = '\0';
1782
+ }
1783
+
1784
+ return ParseOneCharToken(state, 's') && Optional(ParseDiscriminator(state));
1785
+ }
1786
+
1787
+ static bool ParseLocalName(State *state) {
1788
+ ComplexityGuard guard(state);
1789
+ if (guard.IsTooComplex()) return false;
1790
+ ParseState copy = state->parse_state;
1791
+ if (ParseOneCharToken(state, 'Z') && ParseEncoding(state) &&
1792
+ ParseOneCharToken(state, 'E') && ParseLocalNameSuffix(state)) {
1793
+ return true;
1794
+ }
1795
+ state->parse_state = copy;
1796
+ return false;
1797
+ }
1798
+
1799
+ // <discriminator> := _ <(non-negative) number>
1800
+ static bool ParseDiscriminator(State *state) {
1801
+ ComplexityGuard guard(state);
1802
+ if (guard.IsTooComplex()) return false;
1803
+ ParseState copy = state->parse_state;
1804
+ if (ParseOneCharToken(state, '_') && ParseNumber(state, nullptr)) {
1805
+ return true;
1806
+ }
1807
+ state->parse_state = copy;
1808
+ return false;
1809
+ }
1810
+
1811
+ // <substitution> ::= S_
1812
+ // ::= S <seq-id> _
1813
+ // ::= St, etc.
1814
+ //
1815
+ // "St" is special in that it's not valid as a standalone name, and it *is*
1816
+ // allowed to precede a name without being wrapped in "N...E". This means that
1817
+ // if we accept it on its own, we can accept "St1a" and try to parse
1818
+ // template-args, then fail and backtrack, accept "St" on its own, then "1a" as
1819
+ // an unqualified name and re-parse the same template-args. To block this
1820
+ // exponential backtracking, we disable it with 'accept_std=false' in
1821
+ // problematic contexts.
1822
+ static bool ParseSubstitution(State *state, bool accept_std) {
1823
+ ComplexityGuard guard(state);
1824
+ if (guard.IsTooComplex()) return false;
1825
+ if (ParseTwoCharToken(state, "S_")) {
1826
+ MaybeAppend(state, "?"); // We don't support substitutions.
1827
+ return true;
1828
+ }
1829
+
1830
+ ParseState copy = state->parse_state;
1831
+ if (ParseOneCharToken(state, 'S') && ParseSeqId(state) &&
1832
+ ParseOneCharToken(state, '_')) {
1833
+ MaybeAppend(state, "?"); // We don't support substitutions.
1834
+ return true;
1835
+ }
1836
+ state->parse_state = copy;
1837
+
1838
+ // Expand abbreviations like "St" => "std".
1839
+ if (ParseOneCharToken(state, 'S')) {
1840
+ const AbbrevPair *p;
1841
+ for (p = kSubstitutionList; p->abbrev != nullptr; ++p) {
1842
+ if (RemainingInput(state)[0] == p->abbrev[1] &&
1843
+ (accept_std || p->abbrev[1] != 't')) {
1844
+ MaybeAppend(state, "std");
1845
+ if (p->real_name[0] != '\0') {
1846
+ MaybeAppend(state, "::");
1847
+ MaybeAppend(state, p->real_name);
1848
+ }
1849
+ ++state->parse_state.mangled_idx;
1850
+ return true;
1851
+ }
1852
+ }
1853
+ }
1854
+ state->parse_state = copy;
1855
+ return false;
1856
+ }
1857
+
1858
+ // Parse <mangled-name>, optionally followed by either a function-clone suffix
1859
+ // or version suffix. Returns true only if all of "mangled_cur" was consumed.
1860
+ static bool ParseTopLevelMangledName(State *state) {
1861
+ ComplexityGuard guard(state);
1862
+ if (guard.IsTooComplex()) return false;
1863
+ if (ParseMangledName(state)) {
1864
+ if (RemainingInput(state)[0] != '\0') {
1865
+ // Drop trailing function clone suffix, if any.
1866
+ if (IsFunctionCloneSuffix(RemainingInput(state))) {
1867
+ return true;
1868
+ }
1869
+ // Append trailing version suffix if any.
1870
+ // ex. _Z3foo@@GLIBCXX_3.4
1871
+ if (RemainingInput(state)[0] == '@') {
1872
+ MaybeAppend(state, RemainingInput(state));
1873
+ return true;
1874
+ }
1875
+ return false; // Unconsumed suffix.
1876
+ }
1877
+ return true;
1878
+ }
1879
+ return false;
1880
+ }
1881
+
1882
+ static bool Overflowed(const State *state) {
1883
+ return state->parse_state.out_cur_idx >= state->out_end_idx;
1884
+ }
1885
+
1886
+ // The demangler entry point.
1887
+ bool Demangle(const char *mangled, char *out, int out_size) {
1888
+ State state;
1889
+ InitState(&state, mangled, out, out_size);
1890
+ return ParseTopLevelMangledName(&state) && !Overflowed(&state);
1891
+ }
1892
+
1893
+ } // namespace debugging_internal
1894
+ ABSL_NAMESPACE_END
1895
+ } // namespace absl