package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frama_c_kernel.Demote_string_literal

val demote : Cil_types.varinfo -> unit

demote a generated variable holding a string literal into a standard char (or wide char) array. This can imply a formal AST change if said variable is used to initialize a _local_ array. Do nothing if the variable is not a string literal as per Ast_info.is_string_literal

  • since 32.0-Germanium