Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / csyntax7.c

typedef int tint;

const tint volatile x;